Department of Computer Science

Departmental talk by Professor Joost-Pieter Katoen

Professor Joost-Pieter Katoen is nominated for an Honorary Doctorate at Aalborg University and we are happy to announce that he will give a departmental talk at the Department of Computer Science. Thursday April 6, 2017 at 14.00, Selma Lagerlöfsvej 300, room 0.1.95.

Last modified: 31.03.2017

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
 

Abstract
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.


Short bio
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.

 

All news