I head the Institute for System Software at the Johannes Kepler University Linz. My work focuses on programming language implementation techniques, compilation, complex concurrent systems, and tooling.

I am personally interested in making interpreters faster, detecting and preventing concurrency bugs at run time, and use modern language runtime systems to provide programmers with better tooling.

For contact details, please see my staff page.