Jan Friso Groote - Jan Friso Groote
 | Tento životopis živé osoby ne zahrnout žádný odkazy nebo zdroje. (Duben 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Jan Friso Groote (narozen 13. dubna 1965 v Doetinchem ) je nizozemský počítačový vědec.
Vzdělávání
Groote vystudoval informatiku na Twente University v roce 1988 získal magisterský titul pod vedením Eda Brinksmy. Disertační práci získal v roce 1991 pod Jan Bergstra a Jos Baeten v University of Amsterdam, při práci na Centrum pro matematiku a informatiku v Amsterdam.
Profese
Přispěl k strukturální operační sémantika a ověřovací technologie. Mezi jeho konkrétní příspěvky patří formát tyft / tyxt u provozních pravidel první algoritmus k určení rozvětvená bisimulace a metoda kužele a ohniska prokázat správnost protokolů a distribuovaných algoritmů. Je zakládajícím kmotrem sady jazyků a analytických nástrojů pro modelování procesů muCRL a mCRL2.
Začal pracovat v roce 2000 jako řádný profesor ověřovací technologie ve společnosti Eindhoven University of Technology.
Funguje
- 2014. J.F. Groote a M.R.Musavi. Modelování a analýza komunikačních systémů. MIT Press. ISBN 978-0262027717.
externí odkazy
Kontrolní úřad  |
|---|