Gruppe Theoretische Informatik
Forschungsbereiche
![CGI Gesicht das auf Monitor sieht](/media/filer_public_thumbnails/filer_public/1a/21/1a21000f-70df-4514-9065-a2bdd09deafe/logicandlearning.jpg__576x346_q85_crop_subsampling-2_upscale.jpg)
Logik und Lernen
- Reinforcement Learning
- Rule Learning
- Maschinelle Übersetzungen
![Verschiede Zahnräder](/media/filer_public_thumbnails/filer_public/ce/2a/ce2a2da2-0feb-4fcb-9818-e58e923a09b3/programanalysis.jpg__576x346_q85_crop_subsampling-2_upscale.jpg)
Programmanalyse
- Funktionale Programme und Rewriting
- Probabilistische und Quantenprogramme
- Verifikation
![Professor und Student](/media/filer_public_thumbnails/filer_public/78/d5/78d54f09-0f83-4c46-86bd-481cabd773c3/weitere.jpg__576x346_q85_crop_subsampling-2_upscale.jpg)
...und weitere
- Beweistheorie
- Subrekursive Hierarchien
Neuigkeiten
Adresse
Universität Innsruck
Technikerstrasse 21a
6020 Innsbruck, Österreich