From 9ccd292dfe47752bd930fb5735e413888b1b4549 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 22 Dec 2017 19:04:22 +0100 Subject: [PATCH] changeme --- About | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/About b/About index 39d5287..f04eb6b 100644 --- a/About +++ b/About @@ -89,18 +89,20 @@ Her Erdős number is 4. #### Hannes -Hannes is a research associate at the University of Cambridge. He enjoys to write -code, and also travelling and repairing his recumbent bicycle, and being a -barista. +Hannes enjoys living in Berlin, Germany. Until end of 2017, he used to be a research +associate at the University of Cambridge in the [rems](https://rems.io) project. +He enjoys to write code, and also travelling and repairing his recumbent +bicycle, and being a barista. -Hannes did his PhD in computer science about formal verification of -imperative code (using a higher-order separation logic and the theorem prover -Coq). At the moment he is working on an executable formal model of +Hannes did his PhD in computer science about [formal verification of imperative +code](https://itu.dk/research/tomeso/) (using a higher-order separation logic +and the theorem prover Coq). Hannes co-authored [not-quite-so-broken +TLS](https://nqsb.io), a TLS implementation from the grounds up in OCaml, and +contributes to the MirageOS project as a core team member. He is working on +various projects, including opam signing and +[netsem](https://www.cl.cam.ac.uk/~pes20/Netsem/), an executable formal model of TCP/IP which can act as a test validator. -Hannes co-authored a TLS implementation from the grounds up in OCaml, and -contributes to the MirageOS project as a core team member. - #### Paul Paul is an independent IT consultant located in Copenhagen.