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

System Validation (3): Requirements by modal formulas

System Validation (2): Model process behaviour

System Validation: Automata and behavioural equivalences