Ян Фризо Грооте
Гроот изучал информатику в Университете Твенте , получив степень магистра в 1988 году под руководством Эда Бринксма. [1] Он защитил докторскую диссертацию в 1991 году под руководством Яна Бергстры и Йоса Бэтена в Амстердамском университете , работая в Центре математики и компьютерных наук в Амстердаме .
Он внес свой вклад в структурную операционную семантику и технологию проверки. Его особый вклад включает формат tyft/tyxt для операционных правил, первый алгоритм для определения бисимуляции ветвления и метод конусов и фокусов для доказательства правильности протоколов и распределенных алгоритмов. Он является крестным отцом языка моделирования процессов и наборов инструментов анализа muCRL и mCRL2 .
Он начал работать в 2000 году в качестве профессора технологии проверки в Технологическом университете Эйндховена . [1]
