Forschungsinteressen liegen im Bereich "Modellierung und Formale Methoden", mögliche Anwendungsgebiete sind:
- Dependable Systems and Certification
- Test and Verification
- Software Engineering and Programming Education
Eine Liste der Publikationen finden Sie in der dblp.
Mitgliedschaften in Programmkommittees
- IMBSA: International Symposium on Model-Based Safety and Assessment
- SEFM: International Conference on Software Engineering and Formal Methods
- IHTC: International Symposium on Model-Based Safety and Assessment
- SACLA: International Conference of the Southern African Computer Lecturers’ Association
im Editorial Board