Jan Friso Groote

The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Jan Friso Groote" – news · newspapers · books · scholar · JSTOR (September 2023) (Learn how and when to remove this message)

This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous. Find sources: "Jan Friso Groote" – news · newspapers · books · scholar · JSTOR (January 2022) (Learn how and when to remove this message)

Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist.

Groote studied computer science at Twente University obtaining his master's degree in 1988 under supervision of Ed Brinksma.^[1] He obtained his PhD thesis in 1991 under Jan Bergstra and Jos Baeten at the University of Amsterdam, while working at the Centre for Mathematics and Computer Science in Amsterdam.

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.^[1]

• 2014. J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems. The MIT Press. ISBN 978-0262027717.

• Jan Friso Groote's home page
• Mathematical Genealogy