Georg Moser

Georg Moser

Assoc. Prof. Dr. 
Dean of Studies of Faculty for Mathematics, Computer Science and Physics at University Innsbruck

Associate professor at department of Computer Science at University Innsbruck

Head of research group Computation with Bounded Resources (Computational Logic Group)

Area of expertise:
automated reasoning, logic (in particular proof theory), programming languages (in particular term rewrite systems) and resource analysis

My roles at Hackathon