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.
hannes @hannesm

I failed to write my ... 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. since 4.6, since 1.0. enthusiast who wants to change the world with unikernels. Co-authored TLS in OCaml, working on package signing, , , , back in work at robur.io