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


Valid HTML 4.01 Strict