Professor für Theoretische Informatik seit 2003. Autor des PowerPC 64-bit Codegenerator für The Glorious Glasgow Haskell Compilation System. Gastwissenschaftler Lehrstuhl Theoretische Informatik der Friedrich-Alexander-Universitaet Erlangen.