Jan Friso Groote

Jan Friso Groote (2009)

Jan Friso Groote (ur. 13 kwietnia 1965 w Doetinchem ) jest holenderskim informatykiem.

Edukacja

Groote studiował informatykę na Uniwersytecie Twente, uzyskując tytuł magistra w 1988 roku pod kierunkiem Eda Brinksmy. Pracę doktorską uzyskał w 1991 r. pod kierunkiem Jana Bergstry i Jos Baeten na Uniwersytecie w Amsterdamie , pracując w Centrum Matematyki i Informatyki w Amsterdamie .

Zawód

Przyczynił się do strukturalnej semantyki operacyjnej i technologii weryfikacji. Jego szczególny wkład obejmuje format tyft/tyxt dla reguł operacyjnych, pierwszy algorytm określania bisymulacji rozgałęzień oraz metodę stożków i ognisk w celu udowodnienia poprawności protokołów i algorytmów rozproszonych. Jest ojcem chrzestnym języka modelowania procesów i zestawów narzędzi analitycznych muCRL i mCRL2 .

Pracę rozpoczął w 2000 roku jako profesor zwyczajny technologii weryfikacji na Politechnice w Eindhoven .

Pracuje

•   2014. JF Groote i MR Mousavi. Modelowanie i analiza systemów komunikacyjnych . Prasa MIT. ISBN 978-0262027717 .

Linki zewnętrzne

• Strona domowa Jana Friso Groote'a
• Genealogia matematyczna