CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.

Professor Boudewijn Haverkort from the DACS group, together with Joost-Pieter Katoen (UT/RWTH-Aachen), Holger Hermanns (Uni Saarbruecken) and Christel Baier (TU Dresden) will be publishing in the September issue of Communications of the ACM. CACM is considered to be the "Nature/Science” of Computer Science. The article Performance evaluation and model checking join forces  has been written on invitation by Moshe Vardi, editor in chief, and describes the joined forces of two important research area’s: performance analysis and model checking. These four researchers have been instrumental in the development of this new and now flourishing research area. The University of Twente has been a key player in empowering these researchers and many PhD’s and Postdoc’s who have helped them.