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

Teaching