Research topics
-
Formal methods and automated proof techniques
(like model checking)
-
Description and verification of real-time
systems
-
BDDs and al variants (MTBDDs, BMDs, ...)
-
System description languages (SystemC)
|
Curriculum Vitae
-
1991 - 1996 study of computer science at the
University of Karlsruhe, Germany
-
1996 - 1999 PhD student at the Institute of
Computer Engineering and Fault Tolerance at the University of Karlsruhe
-
Juli 1999 - May 2003 Postdoc at the University of
Tübingen
-
April 2002 - Juli 2002
Lehrstuhlvertretung in the department for operating systems at the Universität of Freiburg
-
Since June 2003
Verification Engineer wit the IBM lab in Böblingen
|
