Info

Name:	Max W. Haslbeck
Email:	maximilian.last name@uibk.ac.at
Office:	3M09, 2. OG, Technikerstraße 21a
ORCID:	0000-0002-9900-5746

About me

Since March 2018, I am a PhD student in Computer Science at the Computational Logic group at the University of Innsbruck. I am a member of the project Certifying Termination and Complexity Proofs of Programs.

Publications

• An Isabelle/HOL formalization of AProVE’s termination method for LLVM IR
  by Max W. Haslbeck, and René Thiemann
  In CPP 2021
• Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL
  by Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, and René Thiemann
  In NASA Formal Methods (2020)
• Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
  by René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, and Akihisa Yamada
  In Journal of Automated Reasoning (2020)
• Verified Analysis of Random Binary Tree Structures
  by Manuel Eberl, Max W. Haslbeck, and Tobias Nipkow
  In Journal of Automated Reasoning (2020)
• Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL
  by Ralph Bottesch, Max W. Haslbeck, and René Thiemann
  In Frontiers of Combining Systems, FroCoS 2019
• A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
  by Ralph Bottesch, Max W. Haslbeck, and René Thiemann
  In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2018)
• Verified Analysis of Random Binary Tree Structures
  by Manuel Eberl, Max W. Haslbeck, and Tobias Nipkow
  In 9th International Conference on Interactive Theorem Proving (2018)
• Verified iptables Firewall Analysis and Verification
  by Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, and Georg Carle
  In Journal of Automated Reasoning (2018)
• Verified iptables Firewall Analysis
  by Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, and Georg Carle
  In IFIP Networking (2016)
• Mining the Archive of Formal Proofs
  by Jasmin Blanchette, Max W. Haslbeck, Daniel Matichuk, and Tobias Nipkow
  In Conference on Intelligent Computer Mathematics (2015)

Teaching

• Proseminar Functional Programming (SS20)
• Proseminar Functional Programming (WS19/20)
• Proseminar Introduction to Theoretical Computer Science (WS18/19)