Ян Фрисо Грооте
 | Тема этой статьи Википедии может не соответствовать общему правилу по известности . ( сентябрь 2023 г. ) |
|
Ян Фрисо Гроот (родился 13 апреля 1965 года в Дутинхеме ) — голландский учёный-компьютерщик.
Образование
[ редактировать ]Гроот изучал информатику в Университете Твенте, получив степень магистра в 1988 году под руководством Эда Бринксмы. [1] Докторскую диссертацию он получил в 1991 году под руководством Яна Бергстры и Йоса Бэтена в Амстердамском университете , одновременно работая в Центре математики и информатики в Амстердаме .
Профессия
[ редактировать ]Он внес вклад в структурную операционную семантику и технологию проверки. Его особый вклад включает формат tyft/tyxt для операционных правил, первый алгоритм для определения бисимуляции ветвления , а также метод конусов и фокусов для доказательства правильности протоколов и распределенных алгоритмов. Он является крестным отцом-основателем языка моделирования процессов и наборов инструментов анализа μCRL и mCRL2 .
Он начал работать в 2000 году в качестве профессора технологии проверки в Технологическом университете Эйндховена . [1]
Работает
[ редактировать ]- 2014. Дж. Ф. Гроот и М. Р. Мусави. Моделирование и анализ коммуникационных систем . Массачусетский технологический институт Пресс. ISBN 978-0262027717 .
Ссылки
[ редактировать ]- ^ Jump up to: а б «Биографическая справка Ян Фрисо Грооте» . www.win.tue.nl. Проверено 7 января 2022 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
