Miscellaneous
- The design of these web pages is due to Minimalistic Design.
- You might be interested in my DBLP entry.
- My Erdös number is 3.
- Laboratoire Specification et Verification were I was a PhD student.
- Algebraische und logische Grundlagen der Informatik at TU Dresden were I did my post-doc.