Maximilian P. L. Haslbeck

I studied computer science, with mathematics as minor subject, at the TU München from 2009 until 2015. Since October 2016 I am a Ph.D. student at the Chair for Logic and Verification.

Address: Maximilian P. L. Haslbeck, M.Sc.
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Office: MI 00.09.056
ORCID iD icon:

My interests are mainly formalizing mathematics in higher-order logic and verifying software upon this. I'm also interested in processing of natural language proofs. My current work mostly is related to the Isabelle theorem prover and verified analysis of algorithms.



Conference Proceedings

Archive of Formal Proofs

Master's Thesis

Bachelor's Thesis


Supervised Students

Proving for Fun

At Proving for Fun we host proving contests and homework submission (in Isabelle). Feel free to solve the problems, spread the word and give feedback.

Collaborative Proving Projects


Valid HTML 4.01 Strict