Keynote Speakers

To be announced

Keynote: Tuesday September 11
Marcel Verhoef
 Marcel Verhoef

Marcel Verhoef is working as a software engineer in the Software Systems Division of the Directorate of Technology, Engineering and Quality of the European Space Agency. He is based at ESTEC, providing support to several several space missions currently under development and he manages several R&D activities on applied formal methods to support model-based design and analysis of space systems. His current research interest include software requirements, model-based systems and software engineering, execution architectures and dependability. He is co-convenor of a space industry working group to define a handbook for fault-detection, isolation and recovery for spacecraft. He is author of two textbooks on the practical application of formal techniques in industry and has written over 25 scientific papers.

Keynote: Wednesday September 13 (joint session with Safecomp)