From 801473472d320933f635167ec24c344445513e98 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 7 May 2020 16:58:09 +0200 Subject: [PATCH] add link to netsem --- About Us/Team | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/About Us/Team b/About Us/Team index b538a54..14d06b9 100644 --- a/About Us/Team +++ b/About Us/Team @@ -18,7 +18,7 @@ Her Erdős number is 4. 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 project. He enjoys to write code, and also traveling 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). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground 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, an executable formal model of TCP/IP which can act as a test validator. +Hannes did his PhD in computer science about formal verification of imperative code (using a higher-order separation logic and the theorem prover Coq). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground 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://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator. ### Martin