Professor Joost-Pieter Katoen RWTH Aachen University is nominated for an Honorary Doctorate at Aalborg University and we are happy to announce that he will give a departmental talk on
Performance and Reliability Analysis by Model Checking
Model checking is a powerful verification technique for bug hunting in hardware circuits and software programs. Its extension to probabilistic models enables the quantitative evaluation of system performance and reliability along with correctness. Probabilistic model checking has applications in e.g. robotics, energy-aware computing, RAMS analysis, distributed computing, and probabilistic programming. It provides hard guarantees that quantitative system requirements are met, facilitates bottleneck analysis, and recently enables synthesizing optimal system parameters. In this talk, I present some applications, uncover some of its key algorithmic ingredients, and show its scalability to Markov models of millions of states.
Joost-Pieter Katoen (JPK) – born 1964 – is since 2004 full professor at RWTH Aachen University, Germany. In addition, since 2009, he has been part-time professor in Computer Science at Twente University, The Netherlands. JPK is currently head of the Computer Science Department. Since 2013, JPK has been distinguished professor at RWTH Aachen University as well as been a member of Academia Europaea. JPK is one of the internationally most prominent researchers within the wide area of model checking, which concerns the development of computer supported verification of software systems and models with respect to given requirements and specifications. This is clearly witnessed by his book “Principles of Model Checking,” co-authored with Christel Baier and published by MIT Press in 2008. This book is now the most widely used and an absolute authority on the topic of model checking.