Speakers

Marcel Verhoef is a system engineer at the European Space Agency, where he works at the ESA Concurrent Design Facility, at ESA/ESTEC (Noordwijk, NL). He is involved in the development and roll-out of model-based systems engineering methods and tools. He leads many activities in this area, and he is co-convenor of the MB4SE advisory group with the European space industry, working also on technology harmonization and roadmaps. Prior to this, he was a flight software engineer, supporting missions such as METOP-SG, Sentinel 5, EUCLID and CHEOPS. And before joining ESA, he worked as a consultant and engineer in the European high-tech embedded software industry for two decades.

Verhoef has a PhD in computer science from Radboud University Nijmegen and an MSc from Delft University of Technology. He has also been involved in several collaborative research projects, such as BODERC and DESTECS, where he contributed to the development and practical application of formal methods and model-based engineering techniques for large-scale complex systems. He has published over 50 papers in peer-reviewed journals and conferences and has co-authored two books on formal methods and cyber-physical systems.