Jan Friso Groote (born April 13, 1965, in

Doetinchem Doetinchem (; Low Saxon: ) is a city and municipality in the east of the Netherlands. It is situated along the Oude IJssel (Old IJssel) river in a part of the province of Gelderland called the Achterhoek. The municipality had a population of in ...

) is a Dutch computer scientist.

Education

Groote studied computer science at

Twente University The University of Twente (Dutch: ''Universiteit Twente''; , abbr. ) is a public technical university located in Enschede, Netherlands. The university has been placed in the top 170 universities in the world by multiple central ranking tables. ...

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 focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on alge ...

and Jos Baeten at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

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

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population ...

Profession

He contributed to

structural operational semantics Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execu ...

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 muCRL and

mCRL2 mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of th ...

. He began working in 2000 as a full professor in verification technology at

Eindhoven University of Technology The Eindhoven University of Technology ( nl, Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, located in the city of Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc a ...

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