Formal verification seminar by Prof. Katoen (RWTH Aachen University)

Wednesday 3 Jul 2024, 16:00 → 17:30 Europe/Zurich

Borja Fernandez Adiego (CERN), Enrique Blanco (CERN), Xaver Eugen Fink

Joost-Pieter Katoen studied Computer Science at the University of Twente (NL) and received a Ph.D. from that university in 1996. He has been a distinguished professor at RWTH Aachen University, Germany since 2004.

He heads the group on Software Modeling and Verification (MOVES). He also holds a part-time professorship at the Formal Methods and Tools group at the University of Twente (NL). His research areas includes formal methods, computer-aided verification---in particular model checking--, concurrency theory, probabilistic computation, and semantics.

Joost-Pieter co-authored the seminal book "Principles of Model Checking) (with Christel Baier) and co-authored more than 300 scientific papers.

He received several honors: ACM Fellow, member of Academia Europaea, KHMW (Royal Holland Society of Sciences and Humanities), AKW-NRW (North Rhine-Westphalian Academy of Sciences, Humanities and the Arts), and Leopoldina, the German Academy of Sciences. His works received numerous best paper awards, in particular he received the CONCUR 2022 Test-of-Time Award and the Jean-Claude Laprie 2023 Award for his work on probabilistic model checking. He is holder of an ERC Advanced Research Grant."

 

16:00 → 17:30 How Formal Verification Improves Software and AI Reliability

Formal verification, in particular model checking and formal synthesis, offers a plethora of techniques so as to increase the reliability of software systems. In this talk, I will present some of our efforts to bring formal verification into industrial practice. This includes the development of a comprehensive AADL analysis tool for the European Space Agency, a model checker for Siemens to check their programmable logic controllers, a reliability analysis tool for static and dynamic fault trees, and a competitive probabilistic model checker.

Speaker: Prof. Joost-Pieter Katoen (RWTH Aachen University)

CERN2024-Katoen.pdf