About Me


On these pages you can find information about me, my teaching and publications related to my work as a professor at the University of Tübingen.

Our research is performed at the Formal Methods Group (FMG). If you want to find out more on my research and the group itself just look at the FMG webpages.

After my PhD in 1992, I founded (together with R. Kumar) the hardware verification group at the Institute of Computer Design and Fault Tolerance at the University of Karlsruhe. It was fun time and many great PhD students graduated then (e.g., Klaus Schneider, Jürgen Frößl, Ralf Reetz, Sofiène Tahar), some of them now excellent professors in our research field.

However, although academia is fun, in 1998 I guessed - and a company stay in California absolutely confirmed it - that industry is even more challenging and much more exciting. That is why I am with Bosch now. Not to loose the academic fun, I still maintain a small research group, now at the University of Tübingen. It has turned out that the great people and students there are easily able to produce a significant amount of ideas and papers. Dirk Hoffmann was my first PhD student who graduated in Tübingen - he also is now a professor.


  1. 1987: Diploma on Electrical Engineering (Computer Engineering / Microelectronics) from the University of Darmstadt, Germany

  2. 1992: PhD in Computer Science from the University of Karlsruhe, Germany

  3. 1997: Habilitation in Computer Science from the University of Karlsruhe, Germany

  4. 1998/99 (about half a year): working at Synopsys Inc., Mountain View, California

  5. since 1999: working at Robert Bosch GmbH

  6. in parallel I am adjunct professor (apl. Prof.) at the University of Tübingen

You can find more about my professional CV at LinkedIn.


How to find me