Theoretical Computer Science
Research Areas
![CGI face looking at monitor](/media/filer_public_thumbnails/filer_public/1a/21/1a21000f-70df-4514-9065-a2bdd09deafe/logicandlearning.jpg__576x346_q85_crop_subsampling-2_upscale.jpg)
Logic and Learning
Reinforcement Learning
Rule Learning
Machine Translations
![different gears](/media/filer_public_thumbnails/filer_public/ce/2a/ce2a2da2-0feb-4fcb-9818-e58e923a09b3/programanalysis.jpg__576x346_q85_crop_subsampling-2_upscale.jpg)
Program Analysis
Functional Programs and Rewriting
Probabilistic and Quantum Programs
Verification
![professor and student](/media/filer_public_thumbnails/filer_public/78/d5/78d54f09-0f83-4c46-86bd-481cabd773c3/weitere.jpg__576x346_q85_crop_subsampling-2_upscale.jpg)
...and more
Proof Theory
Subrecursive Hierarchies
News
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria