얀 프리소 그로테
Jan Friso Groote |
얀 프리소 그로테(Jan Friso Groote, 1965년 4월 13일, 도틴켐 출생)는 네덜란드의 컴퓨터 과학자다.
교육
그로테는 에드 브링크스마의 감독하에 1988년에 그의 석사 학위를 취득한 Twittere 대학에서 컴퓨터 과학을 공부했다.[1]1991년 암스테르담의 수학과 컴퓨터 과학 센터에서 일하면서 암스테르담 대학의 얀 버그스트라와 조스 배텐 밑에서 박사 논문을 취득했다.
직업
그는 구조적 운영 의미론과 검증 기술에 기여했다.그의 특별한 기여는 운영 규칙에 대한 tyft/tyxt 형식, 분기 이등분율을 결정하는 첫 번째 알고리즘, 프로토콜과 분산 알고리즘의 정확성을 증명하는 cones 및 foci 방법을 포함한다.그는 프로세스 모델링 언어와 분석 도구 세트 muCRL과 mCRL2의 창립 대부다.
2000년부터 아인트호벤 공과대학 검증기술 전문교수로 근무하기 시작했다.[1]
작동하다
- 2014. J.F. 그로테와 M.R. 무사비.통신 시스템의 모델링 및 분석.MIT 프레스. ISBN978-0262027717.
참조
- ^ a b "Curriculum vitae Jan Friso Groote". www.win.tue.nl. Retrieved 2022-01-07.
외부 링크
| 일반 | |
|---|---|
| 과학 데이터베이스 | |
