## 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)