Theoretical Computer Science
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

Armin is a Master of Science
Congratulations on completing your Master's degree, Armin!
04.06.2025 | members


Samuel at the 8th Forum of European Minority Regions
On 26 and 27 November 2024, the 8th Forum of European Minority Regions took place in Donostia/San Sebastián (Basque Country).
03.12.2024 | general news
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria