Contact
Get in touch about safety-security and formal methods
Share your context: CPS safety-security challenges, formal methods needs, or infrastructure questions. I'm happy to discuss research collaborations, reviews, or advisory support.
Safety & securityFormal methodsCPS & IoT
Best for
- Research collaboration
- Formal methods questions
- Safety-security modeling
- Thesis or supervision topics
- Infrastructure and Linux hosting questions
- Speaking, review, or advisory requests
How to reach me
- Email: [email protected]
- Location: Amsterdam, Netherlands · Remote friendly
Quick links
- Research - case studies
- Resume - roles and publications
- Publications - papers and preprints
- Home - profile and research overview