- The group I work at:
Software Systems Lab at University of Passau.
- My current area of work is in the CPAchecker project.
- 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).