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

Sign in to participate in the conversation

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!