Bio

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.