|2014 - 2017||Master Informatik at TU München|
|2014 - 2015||Studying abroad in the HUSTEP at Hokkaido Daigaku|
|2011 - 2014||Bachelor Informatik at TU München|
|SS2017||Internship at Fujitsu Laboratories|
|WS2016||Master's thesis at the Chair for Logic and Verification (I21)|
|WS2015||Student assistant at I8|
|SS2014||Bachelor's thesis at I8|
|WS2013-SS2014||Student assistant at the Chair for Database Systems (I3)|
|WS2012-SS2013||Student assistant at the Chair for Networks and Distributed Systems (I8)|
|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
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.
InterestsI 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 tinkering with electronics. 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.
I maintain some sort of blog where I record activities.
|My GitHub account|
|OpenClonk, a game I love to procrastinate working on.|