Gruppe Theoretische Informatik
Forschungsbereiche

Logik und Lernen
- Reinforcement Learning
- Rule Learning
- Maschinelle Übersetzungen

Programmanalyse
- Funktionale Programme und Rewriting
- Probabilistische und Quantenprogramme
- Verifikation

...und weitere
- Beweistheorie
- Subrekursive Hierarchien
Neuigkeiten
Adresse
Universität Innsruck
Technikerstrasse 21a
6020 Innsbruck, Österreich