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
Motorola/Lenovo and the University of Innsbruck partner to advance language technology for Ladin
Driven by community consensus and a shared vision for the future, Motorola, the Lenovo Foundation, and the University of Innsbruck are joining forces to advance AI for Ladin and beyond.
Georg Moser gives guest talk at the University of Edinburgh
As part of his research visit to the University of Edinburgh, Georg will give a guest talk as part of the Laboratory for Foundations of Computer Science (LFCS) Seminar on Tuesday, 18 August 2026.
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)
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria