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
Beyond the Black Box: DIDI Research Project Awarded Funding
Entwicklung zuverlässiger KI für mehrsprachige Medienanalyse
Projekte
TCS @ CAV 2026
Unsere Arbeit: "Automated Amortised Analysis of Skew Heaps and Leftist Heaps" wurde für die Konferenz CAV 2026 akzeptiert (International Conference on Computer Aided Verification).
Forschung | Konferenzen | Publikationen
ATLAS erhält „Available“- und „Reusable“-Badges
Nach der Annahme unseres Beitrags auf der internationalen Spitzenkonferenz CAV 2026 wurde das zugehörige Artefakt nun im Rahmen der Artifact Evaluation erfolgreich geprüft und mit Reproduzierbarkeits-Badges ausgezeichnet.
Forschung | Konferenzen | Publikationen
Adresse
Universität Innsruck
Technikerstrasse 21a
6020 Innsbruck, Österreich