Jan Friso Groote is hoogleraar in de Formal Systems Analysis-groep bij de afdeling Wiskunde en Informatica van de Technische Universiteit Eindhoven (TU/e). Zijn expertisegebieden omvatten computersystemen, architecturen, software, algoritmen, embedded systemen en formele methoden. Zijn huidige onderzoeksdoel is om aan te…