Prof. Katoen (i2) wurde mit einem Ehrendoktor von der Aalborg Universität in Dänemark ausgezeichnet

07.04.2017
Prof. Katoen erhält die Urkunde zum Ehrendoktor Lehrstuhl für Informatik 2, RWTH Aachen University

Professor Joost-Pieter Katoen, der Inhaber des Lehrstuhls Informatik 2, wurde von der Universität Aalborg in Dänemark mit einem Ehrendoktor ausgezeichnet. Dieser wurde ihm für besondere Verdienste in der Informatik, insbesondere der Computerunterstützten Verifikation, verliehen.

 

Die Fachgruppe Informatik freut sich mit Herrn Professor Katoen für diese Auszeichnung und gratuliert herzlich.

 

Weitere Informationen

Weitere Informationen finden Sie auf den Seiten des Lehrstuhl Informatik 2 und auf den Seiten der Informatik der Universität Aalborg.