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
TCS @ "Proof and Computation"
10.09.2023 | conferences
Welcome to Jamie and Manuel!
members
TCS @ PLDI and FSCD
21.06.2023 | conferences
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria