Courses: System Validation (available on Coursera); Publications: See the list of publications on his personal homepage; Other Academic Activities: Offers master's and bachelor's thesis topics.
Research Experience
Position: Professor; Workplace: Eindhoven University of Technology; Field: Formal System Analysis.
Background
Research Interests: Formal System Analysis; Brief Introduction: Professor at the Department of Mathematics and Computer Science, Eindhoven University of Technology.
Miscellany
Personal interests include pottery (more information can be found through a link to Paula Groote-Versteegen's ceramics page); family involvement in chocolate sales business (choconut BV led by the Groote family); son Gijs Groote has a video about renovations.