Georg Moser is a Full Professor of Theoretical Computer Science at the University of Innsbruck since February 2020. He studied Computer Science and Logic at the Vienna University of Technology and the University of Leeds, respectively. Prior to his appointment to full professor, he has been an associate professor at the University of Innsbruck, heading a research group on computation with bounded resources. His research interests centre around logic and program analysis. For the latter, a recent focus of his work is on probabilistic programming and quantum computation. He has lead a number of national and international research consortia. He has acted as steering committee chair and member of international conference series and similar research consortia and continues to do so. Moreover, he has been chair of the IFIP Working Group 1.6. His expertise is frequently sought as a program committee member of most prominent conferences such as FSCD, LICS, etc. Further, he has frequently provided editorial services.

research interests

• automation
• logic and proof theory
• machine learning
• program analysis
• quantum computation

recommended events

• Proof and Computation 2023
  Autumn school, September 10-16, 2023, Herrsching, Germany
  I give a (short) lecture on Cichon's conjecture on the slow growing hierarchy