Professor Katoen Awarded with Honorary Doctorate from Aalborg University

Drei Männer bei Preisübergabe Copyright: © Lars Horn / Baghuset

Per Michael Johansen (right), Rector of Aalborg University, and Eskild Holm Nielsen (left), Dean of the Technical Faculty of ICT and Design, presented Joost-Pieter Katoen with an honorary doctorate in recognition of his outstanding achivements in computer science.


Professor Joost-Pieter Katoen is Chair of Computer Science 2 at RWTH Aachen University and a member of the “Formal Methods and Tools” research group at the University of Twente. He was awarded with the honorary doctorate from Aalborg University, Denmark, for his scientific contributions to computer science, in particular in the fields of software modeling and computer-aided verification.

His key research areas include reactive, stochastic, and real-time systems; formal semantics; computer-aided verification, in particular model checking; and concurrency theory.

Katoen is co-author of a standard textbook on the principles of model checking. Furthermore, he is chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software, ETAPS for short, a confederation of five main annual conferences which provide a forum for academic and industrial researchers working on topics relating to software science. Katoen, who studied and completed his doctorate at the University of Twente, the Netherlands, was appointed full professor at RWTH Aachen University in 2004.

Source: Press and Communications