You've reached my webserver. Please leave a message after the beep.
Passbildartig Picture 2014


2014 - 2017Master Informatik at TU München
2014 - 2015Studying abroad in the HUSTEP at Hokkaido Daigaku
2011 - 2014Bachelor Informatik at TU München

Student affiliations

WS2015Student assistant at I8
SS2014Bachelor's thesis at I8
WS2013-SS2014Student assistant at the Chair for Database Systems (I3)
WS2012-SS2013Student assistant at the Chair for Networks and Distributed Systems (I8)


Middlebox Models in Network Verification Research
Michaelis, J.
Proceedings of the Seminars Future Internet (FI) and Innovative Internet Technologies and Mobile Communications (IITM), Winter Semester 2015/2016
Verified iptables Firewall Analysis
Diekmann, C., Michaelis, J., Haslbeck, M., and Carle, G.
IFIP Networking 2016
Algorithms for Reduced Ordered Binary Decision Diagrams (for Isabelle/HOL)
Michaelis, J., Haslbeck, M., Lammich, P., and Hupel, L.
Archive of Formal Proofs
Analysis of Injection Capabilities and Media Access of IEEE 802.11 Hardware in Monitor Mode
Günther, S.M., Leclaire, M., Michaelis, J., and Carle, G.
Proceedings of the 14th IEEE/IFIP Symposium on Network Operations and Management (NOMS 2014), May, 2014, Krakow, Poland.


I love the simplicity and expressiveness of formal programming and the confidence of formal proof, thus I like doing things in Isabelle/HOL.

Recently, I've also developed a bit of an interest in hardware an building things, the wonkier, the more it helps me relax as I build them.

To balance that out, I learn Japanese and take longer trips by bike or on foot. (1, 2)


Intel NUC with 3 custom antennasStephan Günther
Cornelius Diekmann


My GitHub account
OpenClonk, a game I love to procrastinate working on. (At least my server does not procrastinate and generates docs.)