Fachgebiet Entwurf Informationstechnischer Systeme (EIS)

apl. Prof. Dr.-Ing. Dominik Stoffel

Building/room: 12-553

Phone:   +49-631-205-2684 
Fax:       +49-631-205-4782 


Curriculum Vitae

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


  • 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 Technical Program Committee of IEEE International Conference on Computer Design (ICCD), Verification and Test Track, since 2006
  • 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


  • 2005 - Preis der Informationstechnischen Gesellschaft (ITG)

Zum Seitenanfang