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