Theoretical Computer Science

Research Areas

CGI face looking at monitor

Logic and Lear­ning

  • Reinforcement Learning

  • Rule Learning

  • Machine Translations

different gears

Pro­gram Ana­ly­sis

  • Functional Programs and Rewriting

  • Probabilistic and Quantum Programs

  • Verification

professor and student

...and more

  • Proof Theory

  • Subrecursive Hierarchies

News

Armin is a Master of Science

Congratulations on completing your Master's degree, Armin!

04.06.2025 | members

AUTOSARD Kick-Off Work­shop

AUTOSARD Kick-Off Workshop

02.06.2025 | projects

Samuel at the 8th Forum of Euro­pean Minor­ity Regions

On 26 and 27 November 2024, the 8th Forum of European Minority Regions took place in Donostia/San Sebastián (Basque Country). 

03.12.2024 | general news

more News

Address

University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria

Nach oben scrollen