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

SS2017Internship at Fujitsu Laboratories
WS2016Master's thesis at the Chair for Logic and Verification (I21)
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)


Dracena: A Real-Time IoT Service Platform Based on Flexible Composition of Data Streams
Yamaoka, H., et. al
IEEE/SICE International Symposium on System Integration
[BibTeX, PDF]
Formalized Proof Systems for Propositional Logic
Michaelis, J., Nipkow, T.
23rd Int. Conf. Types for Proofs and Programs (TYPES 2017)
Verified iptables Firewall Analysis and Verification
Diekmann, C., Hupel, L., Michaelis, J., Haslbeck, M., Carle, G.
Journal of Automated Reasoning
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 functional 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 tinkering with electronics. The wonkier, the more it helps me relax as I build.

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

I maintain some sort of blog where I record activities.


Isabelle logoTobias Nipkow
Cornelius Diekmann
Intel NUC with 3 custom antennasStephan Günther


My GitHub account
OpenClonk, a game I love to procrastinate working on.