August 7, 2013
The Software Modeling and Verification Group (MOVES, moves.rwth-aachen.de) at RWTH Aachen University offers openings for several postdoctoral researchers in the area of **“Automated Analysis of Prob
May 6, 2013
Joost-Pieter Katoen has been awarded a [Distinguished Professorship](http://www.rwth-aachen.de/go/id/dcbf/?lidx=1 "Distinguished Professorship") from the RWTH Aachen University.
March 20, 2013
Joost-Pieter Katoen has been elected as Steering Committee Chair of ETAPS ([www.etaps.org](http://www.etaps.org "www.etaps.org")), the largest conference on theory and practice of software in Europe.
February 6, 2013
The Alumni-Magazine of RWTH Aachen University contains an [interview](http://www-i2.informatik.rwth-aachen.de/i2/fileadmin/user%5Fupload/documents/Dr%5FTintingHan.pdf "Interview") with our former PhD