RWTH Scientist Professor Joost-Pieter Katoen received an Advanced Grant

RWTH computer scientist Professor Joost-Pieter Katoen is to receive an Advanced Grant from the European Research Council.  The European Research Council awards such grants to support outstanding researchers in pursuing ground-breaking, high-risk research projects and in opening up new interdisciplinary fields of research.

Katoen is an expert in identifying software errors before they actually occur. He is one of the most recognized scientists in the field of model checking – his book “Principles of Model Checking,” co-authored with the Dresden professor Christel Baier, is the standard work in the field. Now he has been awarded a so-called Advanced Grant from the European Research Council, ERC for short, the most important research award in Europe.

Congratulations.

If you want to read more about the Advanced Grant, please click here.