Distinguished professor at the RWTH Aachen University (Germany) and part-time professor at the University of Twente (The Netherlands). Member of the Academia Europaea, ACM senior member, chair of steering committee of ETAPS and QEST. Member SC of CONCUR and FORMATS. Member of IFP WG 1.8 (Concurrency Theory) and IFIP WG 2.2 (Programming Concepts). Co-author of the textbook "Principles of Model Checking", MIT, 2008.