Jan Friso Groote (born April 13, 1965, in

Doetinchem Doetinchem (; Dutch Low Saxon, Low Saxon: ) is a city and Municipalities in the Netherlands, municipality in the east of the Netherlands. It is situated along the IJssel, Oude IJssel (Old IJssel) river in a part of the Provinces of the Netherland ...

) is a Dutch computer scientist.

Education

Groote studied computer science at Twente University obtaining his master's degree in 1988 under supervision of Ed Brinksma. He obtained his PhD thesis in 1991 under

Jan Bergstra Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focused on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algeb ...

and Jos Baeten at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...

, while working at the Centre for Mathematics and Computer Science in

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

Profession

He contributed to structural operational semantics and verification technology. His particular contributions include the ''tyft/tyxt format'' for operational rules, the first algorithm to determine branching bisimulation and the ''cones and foci method'' to prove correctness of protocols and distributed algorithms. He is the founding godfather of the process modelling language and analysis tool sets μCRL and mCRL2. He began working in 2000 as a full professor in verification technology at

Eindhoven University of Technology The Eindhoven University of Technology (), Abbreviation, abbr. TU/e, is a public university, public technical university in the Netherlands, situated in Eindhoven. In 2020–21, around 14,000 students were enrolled in its Bachelor of Science, BS ...

Works

*2014. J.F. Groote and M.R. Mousavi. ''Modeling and Analysis of Communicating Systems''. The MIT Press. .

References

External links

Jan Friso Groote's home pageMathematical Genealogy
{{DEFAULTSORT:Groote, Jan Friso 1965 births Living people Dutch computer scientists Academic staff of the Eindhoven University of Technology People from Doetinchem University of Amsterdam alumni