Info

Name:Max W. Haslbeck
Email:maximilian.last name@uibk.ac.at
Office:3M09, 2. OG, Technikerstra├če 21a

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 part of the project Certifying Termination and Complexity Proofs of Programs.

Publications