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
Deutschland
Office: MI 00.09.056

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.

Publications

Conference Proceedings

Archive of Formal Proofs

Master's Thesis

Bachelor's Thesis

Valid HTML 4.01 Strict