Informatik-Professor der RWTH ist neues Mitglied der Deutschen Akademie der Naturforscher. Professor Thomas Schmitz-Rode erhält Urkunde als Teil des 2023er-Jahrgangs. Professor Joost-Pieter Katoen, seit 2005 Inhaber des Lehrstuhls für Informatik 2 (Softwaremodellierung und Verifikation) der RWTH Aachen, ist neues Mitglied der Leopoldina. Die Deutsche Akademie der Naturforscher Leopoldina e. V. – Nationale Akademie der Wissenschaften ist die älteste naturwissenschaftlich-medizinische Gelehrtengesellschaft im deutschsprachigen Raum und die älteste dauerhaft existierende naturforschende Akademie der Welt.
Sie wurde 1652 gegründet und 2008 zur Nationalen Akademie der Wissenschaften Deutschlands ernannt. In dieser Funktion hat sie zwei besondere Aufgaben: die Vertretung der deutschen Wissenschaft im Ausland sowie die Beratung von Politik und Öffentlichkeit.
Die Aufnahme gilt als besondere Würdigung wissenschaftlichen Wirkens. Die Expertinnen und Experten, die Stellungnahmen verfassen, arbeiten ehrenamtlich und ergebnisoffen. Die Leopoldina vertritt die deutsche Wissenschaft in internationalen Gremien, unter anderem bei der wissenschaftsbasierten Beratung der jährlichen G7- und G20-Gipfel. Sie hat rund 1.700 Mitglieder aus mehr als 30 Ländern und vereinigt Expertise aus nahezu allen Forschungsbereichen.
Katoen zählt zu den wichtigsten Fachleuten Europas in diesem Feld der probabilistischen Programme, sein gemeinsames Buch mit der Dresdenerin Christel Baier „Principles of Model Checking“ ist ein Standardwerk seiner Disziplin. Katoen ist seit Mai 2022 ordentliches Mitglied der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste. Er ist Ehrendoktor der Universität Aalborg, Mitglied der Academia Europea und der Koninklijke Hollandsche Maatschappij der Wetenschappen. Darüber hinaus ist er 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 er an der University of Twente in den Niederlanden.
Zuletzt wurde er durch den Europäischen Forschungsrat mit einem ERC Proof of Concept-Grant gefördert, nachdem er 2018 bereits einen ERC Advanced Grant „FRAPPANT Formal Reasoning about Probabilistic Programs: Breaking new ground for Automation“ (läuft noch bis November 2024) eingeworben hatte.
Katoen wurde als erster RWTH-Informatiker in die Sektion Informationswissenschaften des neuen Jahrgangs der Leopoldina, dem insgesamt elf neue Wissenschaftlerinnen und Wissenschaftler angehören, aufgenommen. Zudem erhielten die Mitglieder des Jahres 2023 nun ihre Urkunden seitens der Akademie. Zum 2023er Jahrgang zählt auch Professor Thomas Schmitz-Rode, Direktor des Instituts für Angewandte Medizintechnik der RWTH. Der Experte für kardiovaskuläre Implantate und Unterstützungssysteme, bildgeführte minimal-invasive Therapie und Interventionelle Radiologie wurde im vergangenen Jahr in die Sektion Technikwissenschaften der Leopoldina aufgenommen.