Curriculum vitae of Jan Friso Groote

• Born 13 April 1965, Doetinchem
• Primary School (Jenaplan), Berlikum (Frl) (1971-1977)
• Stedelijk Gymnasium, Leeuwarden, (1977-1983)
• Computer Science, Twente University, Enschede (1983-1988)
• Centrum voor Wiskunde en Informatica (CWI), Department of Software Engineering, Amsterdam (1988-1992)
• Department of Philosophy, Section Applied Logic, Utrecht University (1991-1996)
• Married to Paula Versteegen (Nov 3, 1995), three children
• Faculty of Technical Mathematics and Informatics, Section Statistics, Probability Theory and Operation Research, Delft University of Technology (1994-1996)
• Centrum voor Wiskunde en Informatica (CWI), Department of Software Engineering/Software Technology, Amsterdam (1996-2000)
• Researcher, Faculty of Mathematics and Computer Science, Eindhoven University of Technology (1997-1998)
• Full professor in `Software verification technology' at Eindhoven University of Technology (1998-2000)
• Full professor in embedded systems at Eindhoven University of Technology (2000-...)
• Director of education for Computer Science (2000-2010)
• Director of education for the bachelor program Computer Science and the master programmes Computer Science and Engineering, and Embedded Systems (2003-2010)
• Researcher, ASML, Veldhoven (2016-..., one day a week)

Extended visits

• Laboratory of Foundations of Computer Science, University of Edinburgh, Scotland (1991)
• Swedish Institute of Computer Science, Stockholm, Sweden (1994)
• Institute for Electronic Systems, Aalborg University, Denmark (1995)
• Department of Computer Science, Uppsala University, Upsala, Sweden (1998)
• Department of Computer Science and Center for Indlejrede Software Systemer (CISS), Aalborg University, Denmark (2004)
• Internship at Philips Healthcare, Best, (2005)
• Department of Computer Science, School of Science and Engineering, Reykjavik University (2006)
• Department of Informatics, Masaryk University, Brno, Czech Republik, (2008)
• Department of Mathematics, Astronomy and Physics, Cordoba University, Cordoba, Argentina (2012)
• Centre for Research on Embedded Systems, Hogskolan i Halmstad, Sweden (2013)
• Internship at ASML, Veldhoven, The Netherlands (2017)
• Institute of Software, Chinese Academy of Sciences, Beijing (2019)