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