Joost-Pieter Katoen - Joost-Pieter Katoen

Joost-Pieter Katoen
Joost-Pieter-Katoen.jpg
Joost-Pieter Katoen v Logická linka, Oxford
Státní občanstvíholandský
Alma mater
Ocenění
Vědecká kariéra
Pole
Instituce
webová stránkawww-i2.informatik.rwth-aachen.de/ ~ katoen/

Joost-Pieter Katoen (narozen 6. října 1964) je a holandský teoretický počítačový vědec se sídlem v Německu. Je významným profesorem[1] v informatice a vedoucí skupiny pro modelování a ověřování softwaru[2] na RWTH Aachen University Dále je na částečný úvazek přidružen ke skupině Formální metody a nástroje v University of Twente.[3]

Vzdělávání

Katoen získal magisterský titul v oboru výpočetní techniky na univerzitě v Twente v roce 1987. V roce 1990 mu byla udělena Odborný doktorát ve strojírenství z Eindhoven University of Technology V roce 1996 získal titul Ph.D. v oboru počítačových věd z University of Twente.[4]

Výzkum

Katoenovy hlavní výzkumné zájmy jsou formální metody, počítačem podporované ověření, zejména kontrola modelu, teorie souběžnosti, a sémantika, zejména sémantika pravděpodobnostní programovací jazyky.[5] Jeho výzkum je do značné míry zaměřen na nástroje a aplikace.

Dohromady s Christel Baier napsal a vydal knihu Zásady kontroly modelu.[6]

Kariéra

V letech 1997 až 1999 působila Katoen jako postdoktorandka na University of Erlangen-Nuremberg V roce 1999 se stal docentem na univerzitě v Twente, kde stále působí na částečný úvazek.[3]V roce 2004 byl jmenován řádným profesorem na RWTH Aachen University.

V roce 2013 se Katoen stal Theodore von Kármán Fellow a Distinguished Professor na RWTH Aachen University. Také v roce 2013 byl zvolen členem Academia Europaea.[7] V roce 2017 získal čestný doktorát Aalborg University.[8] V roce 2018 získala společnost Katoen vysokou odměnu Pokročilý grant ERC.[9][10]

Katoen je zakládajícím členem Pracovní skupina IFIP (WG) 1.8 pro teorii souběžnosti a člen WG 2.2 Formální popis programovacích konceptů. V letech 2006 až 2010 působil na Britské univerzitě pro recenze Rada pro výzkum inženýrských a fyzikálních věd (EPSRC). Od roku 2015 je předsedou řídícího výboru Evropské společné konference o teorii a praxi softwaru (ETAPS).[11]

Za závazek k rovnováze mezi pracovním a soukromým životem, zejména u mladých Ph.D. studentům s dětmi, mu v roce 2017 byla udělena cena FAMOS od RWTH Aachen University.[12]

Osobní život

Joost-Pieter Katoen se narodil v roce Krimpen aan den IJssel v roce 1964. Katoen je ženatý a má tři syny. Žije v Maastrichtu. Ve svém soukromém čase rád jezdí na kole a poslouchá hudbu.

Viz také

Reference

  1. ^ „Distinguished Professorships at RWTH Aachen University“. Archivovány od originál dne 28.06.2018. Citováno 2018-02-28.
  2. ^ „move.rwth-aachen.de/people/katoen/“. Citováno 2018-02-28.
  3. ^ A b „FMT Group Twente“. Archivovány od originál dne 05.03.2018. Citováno 2018-02-28.
  4. ^ Joost-Pieter Katoen na Matematický genealogický projekt
  5. ^ "Životopis" (PDF). Citováno 2018-04-03.
  6. ^ Baier, Christel; Katoen, Joost-Pieter (2008). Zásady kontroly modelu. Cambridge, Massachusetts: MIT Press. ISBN  978-0-262-02649-9.
  7. ^ „Joost-Pieter Katoen na Academia Europaea“. Citováno 2018-02-28.
  8. ^ „Tisková zpráva o čestném doktorátu Joosta-Pietera Katoena“. Citováno 2018-02-28.
  9. ^ „RWTH Aachen Press Statement“. Citováno 2018-05-06.
  10. ^ „Prohlášení University of Twente Press“. Citováno 2018-05-06.
  11. ^ „Řídící výbor ETAPS“. Citováno 2018-02-28.
  12. ^ „Tisková zpráva RWTH k ocenění FAMOS 2017“. Citováno 2018-02-28.