hannes is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
I failed to write my #introduction... former PostDoc at University if Cambridge computer labs, interested in formal methods (recent: netsem, a HOL4 model of TCP and sockets API, validated with FreeBSD12 with DTrace), security, network, operating systems. #FreeBSD since 4.6, #MirageOS since 1.0. #OCaml enthusiast who wants to change the world with unikernels. Co-authored TLS in OCaml, working on package signing, #barista, #cyclist, #anarchist, back in #Berlin work at http://robur.io
