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.