Theoretical Computer Science

contact office: 1N05 (ICT building, ground floor)
office hours: by appointment only
tel: ++43 (0) 512 507 53213

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 reserach 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

recommended events