Version mkdir
Speaker: Hannes Mehnert
![](/congress/2019/Fahrplan/assets/person_large-b94babab6617c8f2f22cf93982fbe28ed7cc2499122fa363c8598bf14d591561.png)
MirageOS hacker; works at robur.io, develops security protocols (TLS, OTR, ...) for functional operating systems in OCaml; coffeenerd; PhD in mechanised formal verification of the correctness of object-oriented code; programming language and compiler geek
Events in this conference
![]() |
Leaving legacy behind |