Vita

• From 1988 on I was student at the University of Erlangen-Nürnberg, where, in 1995, I received my Diplom. I wrote my Diploma Thesis at the chair of Prof. Herzog at the IMMD 7.
• From 1995 until 2001 I was at the LVS group of Prof. Boudewijn Haverkort at the Rheinisch-Westfälische Technische Hochschule Aachen, where I also wrote my dissertation.
• From October 2001 until January 2004 I worked as a post-doc researcher on the HaaST project at the Computer Science Department of the University of Twente. A tangible outcome of these activities is the Modest tool MOTOR.
• From February 2004 until August 2005 I still worked as researcher at the University of Twente, but was also associate of the Embedded Systems Instutute Eindhoven, where I worked on the TANGRAM project.
• September 2005 I returned to Aachen University and started working as Researcher at the Lehrstuhl II of Prof. Joost-Pieter Katoen, successor of Prof. Klaus Indermark.

Topics

• Componentwise performance evaluation of stochastic process algebra models
• Languages for the specification of stochastic and probabilistic systems
• Timed systems
• Timed testing
• Tool hacking

Address