Research Collaboration

I am broadly interested in collaboration on research projects related to safety and security assurance for critical systems, including in the following topic areas:

• assurance cases
• hazard analysis (FMEA, STPA, FTA, HAZOP, etc.)
• risk assessment
• verification and validation methods (formal methods, testing, static analysis)
• (self-)adaptive systems
• physical and embodied AI

I like using empirical methods to validate new ideas, including surveying practitioners in their respective fields.

Interested in working together?! Let’s talk.