Joost-Pieter Katoen (* 6. Oktober 1964 in Krimpen aan den IJssel) ist ein niederländischer theoretischer Informatiker. Er ist distinguished professor^[1] der Informatik und Inhaber des Lehrstuhls für Softwaremodellierung und Verifikation^[2] an der RWTH Aachen. Des Weiteren gehört er der Formal Methods & Tools Group der Universität Twente an.^[3]

Katoen erhielt 1987 seinen Masterabschluss in Informatik an der Universität Twente mit Auszeichnung. 1990 wurde er mit einem Professional Doctorate in Engineering von der Technischen Universität Eindhoven und erhielt 1996 sein Doktorat in Informatik von der Universität Twente.^[4]

Katoens Forschungsinteressen umfassen formale Methoden, formale Verifikation, im Speziellen Model Checking, Nebenläufigkeit, und Semantik, besonders Semantik von probabilistischen Programmiersprachen.^[5] Seine Forschung ist dabei Tool- und Anwendungsbezogen.

Zusammen mit Christel Baier veröffentlichte Katoen das Buch Principles of Model Checking.^[6]

Von 1997 bis 1999 war Katoen als Postdoktorand an der Friedrich-Alexander-Universität Erlangen-Nürnberg. Im Jahr 1999 wurde er Associate Professor an der Universität Twente, wo er weiterhin eine Teilzeit-Position hat.^[7]

2004 wurde er als Professor an die RWTH Aachen berufen.

Im Jahr 2013 wurde Katoen zum Theodore von Kármán Fellow und Distinguished Professor an der RWTH Aachen. Ebenfalls 2013 wurde er zum Mitglied der Academia Europaea^[8] gewählt. 2017 erhielt er ein Ehrendoktorat der Universität Aalborg.^[9] 2018 erhielt Katoen den hoch dotierten ERC Advanced Grant.^[10] Für sein Engagement zur Vereinbarkeit von Arbeits- und Privatleben, speziell dem junger Doktoranden mit Kindern, wurde er 2017 mit dem FAMOS-Preis der RWTH Aachen ausgezeichnet.^[11] Im Jahr 2020 wurde Katoen zum ACM Fellow ernannt und 2021 wurde er zum Mitglied der Königlich-Holländischen Gesellschaft der Wissenschaften gewählt.^[12][13] Im Jahr 2022 wurde Katoen in die Nordrhein-Westfälische Akademie der Wissenschaften und der Künste und 2024 in der Sektion Informationswissenschaften in die Nationale Akademie der Wissenschaften Leopoldina aufgenommen.^[14]

Katoen ist Mitglied der International Federation for Information Processing. Von 2006 bis 2010 engagierte Katoen sich aktiv im Review College des britischen Engineering and Physical Sciences Research Council (EPSRC). Von 2015 bis 2019 war er Vorsitzender des Lenkungsausschusses der European Joint Conferences on Theory and Practice of Software (ETAPS).^[15] Seit 2020 ist Katoen der Vorsitzende des Lenkungsausschusses der International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

Katoens Arbeit hat verschiedene Anerkennungen erhalten, darunter Best-Paper-Awards (z. B. ETAPS 2016, IEEE SRDS 2017, LOPSTR 2020 und POPL 2021). 2022 erhielt er den CONCUR Test-of-Time Award für sein Paper aus dem Jahr 1999, außerdem 2023 den Jean-Claude Laprie Award on Dependable Computing für sein Paper aus dem Jahr 2003 mit Baier, Haverkort und Hermanns über Model-Checking of Continuous-Time Markov chains.^[16][17]

• Joost-Pieter Katoen's homepage.
• Lehrstuhl für Softwaremodellierung und Verifikation.
• Liste der Veröffentlichungen (DBLP).

1. ↑ Distinguished Professorships der RWTH Aachen. Abgerufen am 28. Februar 2018. 
2. ↑ moves.rwth-aachen.de/people/katoen/. Abgerufen am 28. Februar 2018. 
3. ↑ FMT Group Twente. Archiviert vom Original (nicht mehr online verfügbar) am 5. März 2018; abgerufen am 28. Februar 2018.  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/fmt.cs.utwente.nl 
4. ↑ Joost-Pieter Katoen im Mathematics Genealogy Project (englisch)
5. ↑ Joost-Pieter Katoen's Lebenslauf. (PDF) Abgerufen am 26. Februar 2018. 
6. ↑ Christel Baier, Joost-Pieter Katoen: Principles of Model Checking. The MIT Press, Cambridge, Mass 2008, ISBN 978-0-262-02649-9. 
7. ↑ FMT Group Twente. Archiviert vom Original (nicht mehr online verfügbar) am 5. März 2018; abgerufen am 28. Februar 2018.  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/fmt.cs.utwente.nl 
8. ↑ Joost-Pieter Katoen bei der Academia Europaea. Abgerufen am 28. Februar 2018. 
9. ↑ Pressemitteilung zum Ehrendoktorat von Joost-Pieter Katoen. Abgerufen am 28. Februar 2018. 
10. ↑ Pressemitteilung zum ERC Grant von Joost-Pieter Katoen. Abgerufen am 7. Mai 2018. 
11. ↑ RWTH Pressemitteilung zum FAMOS Preis 2017. Abgerufen am 28. Februar 2018. 
12. ↑ Informatik an der RWTH Pressemitteilung. Abgerufen am 31. März 2023. 
13. ↑ Neue Mitglieder der Königlich-Holländischen Gesellschaft der Wissenschaften. Abgerufen am 31. März 2023. 
14. ↑ Mitgliedseintrag von Joost-Pieter Katoen bei der Nationalen Akademie der Wissenschaften Leopoldina
15. ↑ Lenkungsausschuss ETAPS. Abgerufen am 28. Februar 2018. 
16. ↑ CONCUR Test of Time award. Abgerufen am 6. Juli 2023. 
17. ↑ Gewinner des Jean-Claude Laprie Award 2023. Abgerufen am 6. Juli 2023.