Jan Friso Groote (1965) received an engineering degree in computer science 1988 at Twente University. In 1991 he defended his PhD. thesis at the University of Amsterdam, which was about operational semantics and process algebra. Since 1998 he is a full professor at Eindhoven University of Technology with as major assignment to improve the quality of software controlled systems by modelling and analysing behaviour of software.
System Validation (4): Modelling Software, Protocols, and other behaviour
EIT ICT LABS
System Validation (3): Requirements by modal formulas
Automata and behavioural equivalences
System Validation (2): Model process behaviour
System Validation: Automata and behavioural equivalences