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. An introductory video can be found here.
