April 1, 2014
I am the Haskell compiler maintainer at openSUSE and I wrote the PowerPC 64-bit native code backend. Apart from Haskell I have done Scheme back in university and right now I also use OCaml and coq.
C, C++, Java.
Secure/save programming and language support for that. Formal program verification.
Professor at Technische Hochschule Nürnberg