Keynotes

Sven Schewe

Sven Schewe from Liverpool University will deliver a keynote on trustworty AI.

He is interested in automata and game theory and its applications in the construction and analysis of safety-critical systems. This includes constructions and decision procedures for automata over infinite words and trees and games with infinite duration, as well as algorithms and tools for the automated verification and synthesis of reactive systems and approaches to learn or infer optimal control strategies.

Sven Schewe gained a Diplom degree in Computer Science (Diplom Informatiker) in 1997 from the University of the Federal Armed Forces Munich. He worked in the Command and Control Systems Command of the German Navy as a Systems Engineer in different fields of the analysis and construction of safety-critical systems, including the specification and construction of such systems as well as quality assurance and project management. In addition he studied Math at the FernUniversit√§t in Hagen, earning a degree in Mathematics (Diplom Mathematiker) in 2004. After joining the Reactive Systems Group at the Department of Computer Science of Saarland University in 2004, and obtained a PhD (Dr. rer. nat.) in Computer Science in 2008, he moved on to the University of Liverpool.

Bas Luttik

Bas Luttik is a lecturer in the Formal System Analysis research group at Eindhoven University of Technology. His main area of research is concurrency theory, in particular process algebra, with the aim to provide a solid and well-understood mathematical foundation for methods and tools to verify system behaviour. His research has focussed on finite basis problems in process algebra, unique parallel decomposition results, and the integration of concurrency theory and classical automata theory, but he is also interested in applying process-algebra based formal methods to improve the quality of system requirements, most notably in the railway domain. He leads the FormaSig project, funded by ProRail and DB Netz, with the aim to support the development of the EULYNX standard with a dedicated formal method. Furthermore, he contributed to the development of the ERTMS Hybrid Level 3 principles.