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

Address

University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria

Affiliation

Department of Computer Science

Nach oben scrollen