Joost-Pieter Katoen
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | |
| Distinction |
ACM Fellow () |
Joost-Pieter Katoen (né le à 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].
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
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].
