From 52a0b0a71c27f168205d99881ee9fdb5265d10f0 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 16 Nov 2021 15:55:32 +0100 Subject: [PATCH] update about us / team --- About Us/Team | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/About Us/Team b/About Us/Team index 14d06b9..d757748 100644 --- a/About Us/Team +++ b/About Us/Team @@ -4,6 +4,20 @@ title: Team Robur is a software development cooperative specializing in robust and secure digital infrastructure written in OCaml. +## Current members + +### Hannes + +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](https://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator. + +### Reynir + +here some text is missing + +## Former members + ### Stefanie Stefanie is an infrastructure software engineer and a researcher. @@ -14,12 +28,6 @@ In the US tech industry, she works on infrastructure problems with distributed s Her Erdős number is 4. -### Hannes - -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](https://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator. - ### Martin Martin has been programming since before programming was trendy, eating Sharp SC61860A machine code for breakfast since before it was healthy, and using Linux way back when it was just Linus Torvalds’ glorified terminal emulator.