Honorary Doctorate for Joost-Pieter Katoen

The MOVES group proudly announces that Professor Joost-Pieter Katoen has received a Honorary Doctorate from Aalborg University, Denmark. He was awarded for his distinguished efforts in the field of Computer Science, in particular Computer-Aided Verification. The (Danish) laudation can be found here.

Awardees

Image 2 of 5