Professor Joost-Pieter Katoen Inducted Into the North Rhine-Westphalian Academy of Sciences, Humanities, and the Arts

Professor Joost-Pieter Katoen has now been appointed a full member of the North Rhine-Westphalian Academy of Sciences, Humanities and the Arts. Academy members promote the exchange of scientific ideas with research and cultural institutions in Germany and abroad. Professor Katoen, who has been head of the Chair of Software Modeling and Verification (Computer Science 2) at RWTH Aachen University since 2005, has been accepted to the Class of Engineering and Economics.

The computer scientist's research contributions range from achievements in computer theory and algorithm development to software development for business and industry. He develops models to test complex systems before they are actually built and programmed. His work makes it possible to predict a system's responses to specific scenarios – an approach that helps to design robust software and hardware highly complex applications.

In 2017, Katoen received an honorary doctorate from Aalborg University, Denmark. In 2018, he received an ERC Advanced Grant, one of the most prestigious research awards in Europe. He is a member of Academia Europea and of the Koninklijke Hollandsche Maatschappij der Wetenschappen. He was a visiting professor at the University of Oxford, Vienna University of Technologay, the IMT School for Advances Studies Lucca, and the Institute of Science and Technology Austria, among other higher education and research institutions. Also teaches at the University of Twente in the Netherlands.