Prof. Katoen (i2) has received an Honorary Doctorate from Aalborg University, Denmark
Professor Joost-Pieter Katoen, the head of Computer Science 2, has received an 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 Department of Computer Science congratulates Prof. Katoen for his award.
Further information
Further information is available on the web pages from Chair for Computer Science 2 and on the web pages from the computer science department from Aalborg University.