Joost-pieter Katoen
personne
chercheur néerlandais d'informatique théorique
Joost-Pieter Katoen (né le 6 octobre 1964 à Krimpen aan den IJssel) est un informaticien théorique néerlandais. Il est professeur en informatique et chef du groupe de modélisation et de vérification de logiciels à 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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Joost-Pieter_Katoen
Lien Wikidata : https://www.wikidata.org/wiki/Q52726456
Propriétés
- date_naissance
- +1964-00-0
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q739449", "label": "Krimpen aan den IJssel"}
- nationalite
- Royaume des Pays-Bas
- occupation
- professeur d'université
- p106_all
- professeur d'université, informaticien ou informaticienne