Reynir Björnsson
23e7d09877
The markdown inside <p> tags are not processed as markdown - which I believe is according to spec. Instead, we can use html files without changing much. Fixes #1.
7 lines
862 B
HTML
7 lines
862 B
HTML
---
|
|
name: Hannes
|
|
website: https://hannes.robur.coop
|
|
---
|
|
<p class="brødtekst">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.</p>
|
|
|
|
<p class="brødtekst">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 <a href="https://github.com/rems-project/netsem">netsem</a>, an executable formal model of TCP/IP which can act as a test validator.</p>
|