Research Areas
Logic and Learning
Reinforcement Learning
Rule Learning
Machine Translations
Program Analysis
Functional Programs and Rewriting
Probabilistic and Quantum Programs
Verification
...and more
Proof Theory
Subrecursive Hierarchies
News
TCS @ CAV 2026
Our paper: "Automated Amortised Analysis of Skew Heaps and Leftist Heaps" has been accepted to appear in CAV 2026 (International Conference on Computer Aided Verification)
conferences | publications
Armin is a Master of Science
Congratulations on completing your Master's degree, Armin!
members
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria