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


University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria

Nach oben scrollen