Prof. Katoen (i2) wurde mit einem Ehrendoktor von der Aalborg Universität in Dänemark ausgezeichnet
07.04.2017
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.