Jan Friso Groote

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 tonen dat formele analysetechnieken kunnen worden gebruikt om de software voor complete systemen te ontwerpen. Hiervoor is het niet alleen nodig om de verificatietechnieken en algoritmen te verbeteren, maar is het ook belangrijk om softwareontwikkelstijlen te ontwikkelen die geschikt zijn voor verificatie. Industriële ervaring leert dat hierdoor de ontwikkeltijd met een factor drie wordt verkort en de kwaliteit met een factor 10 toeneemt. Vooral wat de kwaliteit betreft, kan worden verwacht dat substantiële verdere verbeteringen mogelijk zijn, hopelijk leidend tot zero defect software.