UTFacultiesEEMCSNewsProfessor Joost-Pieter Katoen inducted into the Leopoldina Academy of Sciences
Nordrhein-Westfälische Akademie der Wissenschaften und der Künste / Bettina Engel-Albustin 2022

Professor Joost-Pieter Katoen inducted into the Leopoldina Academy of Sciences

Full professor at the Formal Methods and Tools group of the faculty of Electrical Engineering, Mathematics and Computer Science has been inducted into the prestigious German Academy of Sciences Leopoldina. The induction ceremony will be held in 2025 and will include the presentation of this membership certificate.

The Leopoldina was established in 1652 and is therefore the oldest continuously existing academy of natural sciences and medicine globally. Comprising approximately 1,600 distinguished scientists, the Academy focuses on providing unbiased and timely scientific opinions on issues of societal and political significance.

Professor Katoen is widely recognised as a leading figure in the field of model checking, with his co-authored book, "Principles of Model Checking," alongside Professor Christel Baier of Dresden, serving as the standard reference in the domain.

Katoen studied at the University of Twente from 1983 tot 1987, later earning his PhD in 1996 under the supervision of Professors Vissers and Brinksma. Following this, he worked at the Ut as an Associate Professor from 1999 to 2004. Since 2005, he has been affiliated with the FMT chair as part-time professor.

Professor Katoen’s extensive accolades include an honorary doctorate from Aalborg University in 2017, membership in Academia Europaea and the Koninklijke Hollandsche Maatschappij der Wetenschappen, and a Fellowship with the Association for Computing Machinery. He is also a Distinguished Professor at RWTH and has held visiting professorships at esteemed institutions such as the University of Oxford, Vienna University of Technology, IMT School for Advanced Studies Lucca, and the Institute of Science and Technology – Austria, among others.

Adding to his list of accomplishments, Professor Katoen was recently awarded an ERC Proof of Concept Grant by the European Research Council. In 2018, he secured an ERC Advanced Grant for his project "FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation," scheduled to run until November 2024.