Marcel Verhoef
System Engineering
European Space Agency
Noordwijk, Netherlands
System Engineer at the ESA Concurrent Design Facility; supporting the digitalisation of engineering, using MBSE. Co-convenor of the MB4SE advisory group.
My organisation
About me
MSc in computer science (1992), specialised in formal techniques. PhD in computer science (2009), on multi-disciplinary design of complex embedded real-time control systems. Twenty years of industry experience in developing embedded real-time systems for wide variety of customers and application areas. Ten year of experience in spacecraft development, with focus on flight software. Worked on Cheops, Euclid and METOP-SG. Author of two textbooks on practical application of formal methods for system design.
Skills
- MBSE
- Formal methods
- concurrent engineering
Speaker sessions (5)
Wednesday, 5 November 2025
08:30 - 08:50
Let's get started!
The organising team will provide a daily briefing to inform all participants about the program and other noteworthy aspects to maximise the engagement of all participants, during the event.
12:00 - 12:30
MBSE 2025 Opening Session
The organising team to formally welcome all participants to the event, with short welcome speeches
Thursday, 6 November 2025
08:30 - 08:50
Let's get started!
The organising team will provide a daily briefing to inform all participants about the program and other noteworthy aspects to maximise the engagement of all participants, during the event.
Friday, 7 November 2025
08:30 - 08:50
Let's get started!
The organising team will provide a daily briefing to inform all participants about the program and other noteworthy aspects to maximise the engagement of all participants, during the event.
12:00 - 12:30
Concluding Session: Highlights, Awards & Thanks
Conclusions and main take-aways and event high-lights. Best poster award ceremony.