Professor Joost-Pieter Katoen, who works part-time at the ‘Formal Methods and Tools’ group of the University of Twente, received an honorary doctorate of Aalborg University in Denmark.
Katoen (52) receives the honorary doctorate because of his ‘distinguished efforts in computer science’, more specific in ‘computer-aided verification’. For testing complex systems before they’re actually built and programmed, he develops models. In this way, it is possible to see how the system will respond to a wide range of scenarios: this approach helps designing robust software and hardware for today’s very complex applications.
Joost-Pieter Katoen is a Professor at the Rheinisch-Westfälisch Technisch Hochschule (RWTH) in Aken, Germany. He also works at the ‘Formal Methods and Tools’ group (UT, CTIT). Katoen studied at the University of Twente and did his PhD there as well. Since 2004, he’s working in Aken. Before that, he was working at the UT full-time. As a postdoc, he worked at the University of Erlangen-Nürnberg in Germany.
The Honorary Doctor, Joost-Pieter Katoen, with the Dean of UT's EEMCS faculty and former Rector Magnificus Ed Brinksma
Katoen is a member of the ‘Academia Europaea’. RWTH appointed him ‘Distinguished Professor’ in 2013.
Aalborg University and the University of Twente have close ties in several areas. The education model, used in Aalborg, was a source of inspiration for innovating UT’s education. Both universities are members of the European Consortium of Innovative Universities (ECIU).