Gruppe Theoretische Informatik

Forschungsbereiche

CGI Gesicht das auf Monitor sieht

Logik und Ler­nen

  • Reinforcement Learning
  • Rule Learning
  • Maschinelle Übersetzungen
Verschiede Zahnräder

Pro­gramm­ana­lyse

  • Funktionale Programme und Rewriting
  • Probabilistische und Quantenprogramme
  • Verifikation
Professor und Student

...und wei­tere

  • Beweistheorie
  • Subrekursive Hierarchien

Neuigkeiten

Armin ist Mas­ter

Gratulation zum abgeschlossenem Masterstudium, Armin!

04.06.2025 | Mitglieder

AUTO­SARD Kick-Off Work­shop

AUTOSARD Kick-Off Workshop

09.05.2025 | Projekte

Samuel beim 8. Forum der Euro­pä­i­schen Min­der­hei­ten­re­gi­o­nen

03.12.2024 | Vorträge

mehr Neuigkeiten

Adresse

Universität Innsruck
Technikerstrasse 21a
6020 Innsbruck, Österreich

Zuordnung

Institut für Informatik

Nach oben scrollen