Joost-Pieter Katoen
| Naissance | |
|---|---|
| Nationalités | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | |
| Distinction |
ACM Fellow () |
Joost-Pieter Katoen (né le 6 octobre 1964 à Krimpen aan den IJssel) est un informaticien théorique néerlandais. Il est professeur en informatique[1] et chef du groupe de modélisation et de vérification de logiciels[2] à l'université polytechnique d'Aix-la-Chapelle. De plus, il est associé à temps partiel au groupe Méthodes et outils formels de l'université de Twente[3].
Éducation
[modifier | modifier le code]Katoen a obtenu sa maîtrise avec distinction en informatique de l'université de Twente en 1987. En 1990, il a obtenu un doctorat en ingénierie de l'université de technologie d'Eindhoven et en 1996, il a obtenu son doctorat en informatique de l'université de Twente[4].
Recherche
[modifier | modifier le code]Les principaux intérêts de recherche de Katoen sont les méthodes formelles, la vérification assistée par ordinateur, en particulier la vérification de modèles, la théorie de la concurrence et la sémantique, en particulier la sémantique des langages de programmation probabilistes.
Avec Christel Baier, il a écrit le livre Principles of Model Checking[5].
Carrière
[modifier | modifier le code]De 1997 à 1999, Katoen est chercheur postdoctoral à l'université d'Erlangen-Nuremberg. En 1999, il devient professeur associé à l'université de Twente, où il occupe toujours un poste à temps partiel. En 2004, il a été nommé professeur ordinaire à l'université polytechnique d'Aix-la-Chapelle[6].
En 2013, Katoen est devenu Theodore von Kármán Fellow. En 2013 également, il a été élu membre de l'Academia Europaea[7]. En 2017, il a reçu un doctorat honoris causa de l'université d'Aalborg[8]. En 2018, Katoen a reçu une ERC Advanced Grant[9],[10]. En 2020, Katoen est devenu 'fellow' de l'ACM[11] et en 2021, il a été élu membre de la Société royale néerlandaise des arts et des sciences (KHMW)[12]. En 2022, il a été élu membre de l'Académie des sciences, des sciences humaines et des arts de Rhénanie du Nord-Westphalie[13].
Katoen est membre fondateur du groupe de travail (WG) 1.8 de l'IFIP sur la théorie de la concurrence et membre du WG 2.2 Description formelle des concepts de programmation. De 2006 à 2010, il a été membre du Review College de l'Engineering and Physical Sciences Research Council (en) (EPSRC) britannique. De 2015 à 2019, il a présidé le comité directeur des conférences européennes conjointes sur la théorie et la pratique du logiciel (ETAPS)[14]. Depuis 2020, il préside le comité de pilotage de la conférence TACAS (Outils et Algorithmes pour la Construction et l'Analyse de Systèmes).
Pour son engagement en faveur de l'équilibre travail-vie personnelle, en particulier pour les jeunes doctorants avec enfants, il a reçu le prix FAMOS de l'université polytechnique d'Aix-la-Chapelle en 2017[15].
Il a reçu les prix du meilleur article à ETAPS 2016, IEEE SRDS 2017, LOPSTR 2020 et POPL 2021. En 2022, il a reçu le prix CONCUR test-of-time pour son article CONCUR 1999[16] et en 2023 le prix Jean-Claude Laprie sur l'informatique fiable pour son article de 2003 avec Baier, Haverkort et Hermanns sur la vérification des modèles des chaînes de Markov en temps continu[17].
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Page d'accueil de Joost-Pieter Katoen.
- Groupe de modélisation et de vérification de logiciels.
Références
[modifier | modifier le code]- (de) « Distinguished Professorships at RWTH Aachen University » [archive du ] (consulté le )
- « moves.rwth-aachen.de/people/katoen/ » (consulté le )
- « FMT Group Twente » [archive du ] (consulté le )
- (en) « Joost-Pieter Katoen », sur le site du Mathematics Genealogy Project
- Baier, Christel et Katoen, Joost-Pieter, Principles of Model Checking, Cambridge, Mass, The MIT Press, (ISBN 978-0-262-02649-9)
- « Curriculum Vitae » (consulté le )
- (en) « Joost-Pieter Katoen at Academia Europaea » (consulté le )
- (en) « Press Release on Honorary Doctorate for Joost-Pieter Katoen » (consulté le )
- (en) « Making 'uncertain software' predictable » (consulté le )
- (en) « Always Bug-Hunting » (consulté le )
- (en) « Professor Joost-Pieter Katoen has been named a fellow of the Association for Computing Machinery (ACM) » (consulté le )
- (nl) « Benoemingen 2021 » (consulté le )
- (de) « Neue Mitglieder 2022: Joost-Pieter Katoen (Klasse für Ingenieur- und Wirtschaftswissenschaften) » (consulté le )
- (en) « Steering Committee of ETAPS » (consulté le )
- (en) « RWTH press release on FAMOS award 2017 » (consulté le )
- (en) « CONCUR Test of Time award » (consulté le )
- (en) « Winners of the 2023 Jean-Claude Laprie Award » (consulté le )
