J.F. (Jan Friso) Groote - Expertise

Groote, J.F.
Address :
Technische Universiteit Eindhoven
P.O. Box 513
Chair :
Embedded Systems
Department :
Department of Mathematics and Computer Science
Section :
Model Driven Software Engineering W&I
Positioncategory :
Professor (HGL)
Position :
Full Professor
Room :
MF 6.079b
Tel :
+31 40-247 5003
Tel (internal) :
Email :


  • D16100 - Computer systems, architectures, networks
  • D16200 - Software, algorithms, control systems
  • Software
  • Embedded systems
  • Formal Methods



J.F. Groote (1965) studied computer science from 1983 to 1988 at Twente University of Technology. He obtained a PhD. on a thesis called "Process algebra and structured operational semantics" from the University of Amsterdam, based on research carried out at CWI (Centre for Mathematics and Computer Science) in Amsterdam in 1991. Until 1996 he was lecturer at the department of Philosophy at Utrecht University, after which he became a group leader of the group SEN2 at CWI. Since 1998 he is full professor in verification technology for embedded software at Eindhoven University of Technology. This was first parttime, and since 2000 this became a full time position.