Joost-Pieter Katoen
# Joost-Pieter Katoen

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

## Leben

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.

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

Zusammen mit Christel Baier veröffentlichte Katoen das Buch Principles of Model Checking.

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.

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 gewählt. 2017 erhielt er ein Ehrendoktorat der Universität Aalborg. 2018 erhielt Katoen den hoch dotierten ERC Advanced Grant. 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. 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. Im Jahr 2022 wurde Katoen darüber hinaus in die Nordrhein-Westfälische Akademie der Wissenschaften und der Künste gewählt.

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). 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.

