Prof. dr.ir. Joost-Pieter Katoen, professor at RWTH Aachen and part-time professor at the University of Twente, CTIT - Formal Methods & Tools group has been selected by the RWTH Aachen as “Distinguished Professor” (as the first and only computer scientist). Only professors with an excellent research record are awarded. Beside this great honour, he will receive a research budget of 700 k-€, to establish and maintain a nationally and internationally competitive research environment. The funds may be used for new research equipment, the recruitment of research staff, research visits, and the hosting of visiting scholars.