Joost-Pieter Katoen in die Leopoldina aufgenommen

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.