Jan Friso Groote
Jan Friso Groote is a Dutch computer scientist and Full Professor at Eindhoven University of Technology, specializing in formal systems analysis, embedded systems, and the modeling of software-controlled systems. Born on April 13, 1965, in Doetinchem, Netherlands, he has been a leading figure in process algebra and software quality improvement since the 1980s. He is also an instructor on Coursera and contributes to research in theoretical computer science.
Computer Science
Formal Systems
Process Algebra
Embedded Systems