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

Education

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)

Publications

2019
[IEEE]
[Press]
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
2018
[BibTeX, PDF]
Formalized Proof Systems for Propositional Logic
Michaelis, J., Nipkow, T.
23rd Int. Conf. Types for Proofs and Programs (TYPES 2017)
2018
[Springer]
Verified iptables Firewall Analysis and Verification
Diekmann, C., Hupel, L., Michaelis, J., Haslbeck, M., Carle, G.
Journal of Automated Reasoning
2016
[BibTeX]
[PDF]
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
2016
[PDF]
Verified iptables Firewall Analysis
Diekmann, C., Michaelis, J., Haslbeck, M., and Carle, G.
IFIP Networking 2016
2016
[AFP]
Algorithms for Reduced Ordered Binary Decision Diagrams (for Isabelle/HOL)
Michaelis, J., Haslbeck, M., Lammich, P., and Hupel, L.
Archive of Formal Proofs
2014
[PDF]
[IEEE]
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.

Interests

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.

Advisors

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

Links

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