JARA-CSD Mitglied Joost-Pieter Katoen in die NRW-Akademie der Wissenschaften und der Künste aufgenommen

Zur Ehrung seiner Beiträge auf dem Gebiet der Informatik, wurde JARA-CSD Mitglied Prof. Joost-Pieter Katoen als ordentliches Mitglied in die Nordrhein-Westfälische Akademie der Wissenschaften und der Künste aufgenommen. Prof. Katoen gehört nun der Klasse für Ingenieur- und Wirtschaftswissenschaften an.
Die Forschungsbeiträge des Informatikers reichen von theoretischen und algorithmischen Leistungen bis zur Entwicklung von Softwarewerkzeugen und deren Anwendung im industriellen Bereich. Mithilfe mathematischer Modelle komplexer Systeme ermöglicht er das Auffinden von Fehlerverhalten in sicherheitskritischer Software.

Katoen ist Ehrendoktor der Universität Aalborg, Mitglied der Academia Europea und der Koninklijke Hollandsche Maatschappij der Wetenschappen. Darüber hinaus hat er einen ERC Advanced Research Grant, ist Fellow der Association for Computing Machinery und Distinguished Professor der RWTH. Er war Gastprofessor unter anderem an der University of Oxford, der Technischen Universität Wien, der IMT School for Advances Studies Lucca und am Institute of Science and Technology – Austria. Auch lehrt an der University of Twente in den Niederlanden.

In die Nordrhein-Westfälische Akademie der Wissenschaften und der Künste werden exzellente Forschende und Kulturschaffende aufgenommen. Die Mitglieder pflegen den Dialog mit Politik, Wirtschaft und Kultur sowie mit wissenschaftlichen Einrichtungen im In- und Ausland. Katoen, seit 2005 Inhaber des Lehrstuhls für Informatik 2 (Softwaremodellierung und Verifikation), gehört der Klasse für Ingenieur- und Wirtschaftswissenschaften an.

Eine Pressemitteilung der RWTH Aachen.

Weitere Informationen auf der Website der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste: https://www.awk.nrw/