Jan Friso Groote

Jan Friso Groote (nacido el 13 de abril de 1965 en Doetinchem ) es un informático holandés.

Groote estudió informática en la Universidad de Twente y obtuvo su máster en 1988 bajo la supervisión de Ed Brinksma. ^{[ 1 ]} Obtuvo su tesis doctoral en 1991 bajo la dirección de Jan Bergstra y Jos Baeten en la Universidad de Ámsterdam , mientras trabajaba en el Centro de Matemáticas e Informática de Ámsterdam .

Contribuyó a la semántica operacional estructural y a la tecnología de verificación. Entre sus contribuciones más destacadas se encuentran el formato tyft/tyxt para reglas operacionales, el primer algoritmo para determinar la bisimulación ramificada y el método de conos y focos para demostrar la corrección de protocolos y algoritmos distribuidos. Es el creador del lenguaje de modelado de procesos y de los conjuntos de herramientas de análisis μCRL y mCRL2 .

Comenzó a trabajar en 2000 como catedrático de tecnología de verificación en la Universidad Tecnológica de Eindhoven . ^{[ 1 ]}

• 2014. JF Groote y MR Mousavi. Modelado y análisis de sistemas de comunicación . The MIT Press. ISBN 978-0262027717.

• Página principal de Jan Friso Groote
• Genealogía matemática