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
Jamie became Master
Jamie successfully defended her Master thesis and concluded her Master studies
26.07.2024 | members
TCS @ ESOP & OOPSLA
Two new papers accepted: "On the Hardness of Analyzing Quantum Programs Quantitatively" will be presented at ESOP, while "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" will be presented at OOPSLA.
26.07.2024 | publications
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria