Untergeordnete Navigation

Prof. Joost-Pieter Katoen zum Mitglied der Academia Europaea ernannt

Prof. Katoen

Joost-Pieter Katoen, Inhaber des Lehrstuhls für Softwaremodellierung und Verifikation, wird zum Mitglied der renommierten Academia Europaea ernannt. Die 1988 gegründete, regierungsunabhängige, wissenschaftliche Organisation widmet sich der Förderung der wissenschaftlichen Ausbildung und Forschung und umfasst mehr als 2000 Mitglieder aus Geistes-, Literatur- und Naturwissenschaften, darunter 38 Nobelpreisträger.

mehr...


25.09.2013