Maximilian P. L. Haslbeck

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

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.



Journal Articles

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