Education / Degrees

• 2006 August, Habilitation (Dr.-Ing. habil.) in Computer Engineering, University of Kaiserslautern, Germany
• 1999 December, Doctoral degree (Dr. phil. nat.), summa cum laude, in Computer Science,  Johann Wolfgang Goethe University of Frankfurt/Main, Germany
• 1992 December, Master's degree (Dipl.-Ing.) in Electrical Engineering, University Fridericiana of Karlsruhe, Germany
  
  

Positions

• 2007 April till today - Lecturer and Research Scientist at the Department of Electrical & Computer Engineering, University of Kaiserslautern
• 2006 April till 2007 March - Interim Professor at the Institute for Parallel and Distributed Systems, Dep. of Computer Science, University of Stuttgart, Germany
• 2001 November till 2006 March - Research Scientist at the Dept. of Electrical & Computer Engineering, University of Kaiserslautern 
• 1998 February till 2001 October - Research Scientist at the the Dept. of Computer Science, Johann Wolfgang Goethe-University Frankfurt/Main
• 1997 January till 1998 January - Research Scientist with Dept. of Computer Science, University of Potsdam
• 1994 October till 1996 December - Research Scientist with Max-Planck-Society, Fault-Tolerant Computing Group (Prof. M. Gössel), at the University of Potsdam, Germany
• 1993 October till  1994 September - Engineer at Mercedes-Benz AG, Sindelfingen, Germany; Development of manufactuing test systems for automotive electronics
  
  

Professional activities

• Member of Organizing Committee of IEEE International Conference on Computer Design (ICCD), Verification and Test Track, since 2020
• Member of Technical Program Committee of IEEE International Conference on Computer Design (ICCD), Verification and Test Track, 2006 –2018
• Member of Technical Program Committee of DATE (Design, Automation and Test in Europe), 2003 – 2005
• Member of Technical Program Committee of the German GI/ITG/GMM-Workshop on Methods and Languages for Modeling and Verification of Circuits and Systems ("Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"), since 2004
  
  

Award

• 2005 - Preis der Informationstechnischen Gesellschaft (ITG)