- The group I work at:
Software Systems Lab at Ludwig-Maximilians-Universität München (LMU Munich).
- My current area of work is in the CPAchecker and BenchExec projects.
- Professional homepage with teaching information and contact address
- Publications (DBLP)
You can contact me via encrypted mail:
Fingerprint: 19D5 A10B 2D97 88D8 7CBE E5ED 62C0 F78C 31A9 DE8C
The rest of this site contains mainly older stuff (in German).