prof.dr.ir. J.F. (Jan Friso) Groote - Expertise
P.O. Box 513
5600 MB EINDHOVEN
- D16100 - Computer systems, architectures, networks
- D16200 - Software, algorithms, control systems
- Embedded systems
- Formal Methods
J.F. Groote (1965) studied computer science from 1983 to 1988 at Twente University of Technology. He obtained a PhD. on a thesis called "Process algebra and structured operational semantics" from the University of Amsterdam, based on research carried out at CWI (Centre for Mathematics and Computer Science) in Amsterdam in 1991. Until 1996 he was lecturer at the department of Philosophy at Utrecht University, after which he became a group leader of the group SEN2 at CWI. Since 1998 he is full professor in verification technology for embedded software at Eindhoven University of Technology. This was first parttime, and since 2000 this became a full time position.