C3Subtitles: Speaker: Hannes Mehnert

Hannes Mehnert

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

Infos

Event(s):
31. Chaos Communication Congress, 35th Chaos Communication Congress, 36th Chaos Communication Congress
Language(s):
English
Track(s):
Science, Security
Links:
robur
robur
MirageOS
Blog
Twitter
GitHub
Academic website

Statistics

English
138.1 wpm
747.9 spm
46.8% Checking done46.8%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
53.2% Nothing done yet53.2%