Education:
| 1998: | Dr. phil. nat. in Computer Science (University of Frankfurt, Germany). Thesis: Verification of Co-operating Systems and Behaviour Abstraction |
|
1994-1998: |
Postgraduate Student in Computer Science (University of Frankfurt, Germany) |
|
1991: |
Dipl. Inform. in Computer Science (University of Frankfurt, Germany). Dissertation: Das Erreichbarkeitsproblem für eingeschränkte Produktnetze (Translation: The Reachability Problem for Restricted Product Nets) |
| 1984-1991: | Undergraduate Student in Computer Science as well as Physics (University of Frankfurt, Germany) |
Job experience:
| wef. 2002: | Senior Lecturer in the Declarative Systems and Software Engineering Research Group, Department of Electronics and Computer Science, University of Southampton, UK |
| 1998-2002: | Lecturer in the Declarative Systems and Software Engineering Research Group, Department of Electronics and Computer Science, University of Southampton, UK |
| 1996-1998: | Research Assistant at the Department of Information Technology, University of Zürich, Switzerland |
| 1995: | Visiting Scientist, Institute Montefiore, University of Liège, Belgium |
| 1991-1996: | Junior Scientist at the Institute for Telecooperation Technology, GMD - German National Research Centre for Information Technology |
| 1987-1991: | Student Employee at the Institute for Telecooperation Technology, GMD - German National Research Centre for Information Technology |