Hannes Mehnert, MirageOS
Software Engineer
MirageOS
Hannes is a software engineer working at MirageOS (https://mirage.io) unikernels. In his academic career, he researched in several engineering areas: from programming languages, such as compiler optimisation visualisation, type systems (MSc at TU Berlin) over full functional correctness proofs of object-oriented code (PhD at ITU Copenhagen), development environments for dependently typed languages, to network protocols (TCP/IP, PostDoc at University of Cambridge) and
security protocols (TLS, OTR). He feels safe in a garbage collected environment, and appreciates purely functional goodness.
In his spare time, Hannes is not only a hacker, coauthor of a book on Indian cuisine and functional programming in JavaScript, but also a barista and likes to travel and repair his recumbent bicycle. He operates his own basic Internet services (DNS, E-Mail, ..) and blogs at https://hannes.nqsb.io. Since beginning of 2018, Hannes works on a non-profit to put MirageOS into production at https://robur.coop
security protocols (TLS, OTR). He feels safe in a garbage collected environment, and appreciates purely functional goodness.
In his spare time, Hannes is not only a hacker, coauthor of a book on Indian cuisine and functional programming in JavaScript, but also a barista and likes to travel and repair his recumbent bicycle. He operates his own basic Internet services (DNS, E-Mail, ..) and blogs at https://hannes.nqsb.io. Since beginning of 2018, Hannes works on a non-profit to put MirageOS into production at https://robur.coop