Research
Research groups
Member of:
Research interests
- Formal Methods
- Autonomous Systems
- Responsible AI (Socio-technical)
- Public Engagement
- My main research interest is model-based formal methods for software engineering, in particular the formal method Event-B. Formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems, and therefore contribute to the reliability, safety, and robustness of system designs.
Current research
Completed Research Projects:
- Principal Investigator:
- Principal Investigator:
- Senior Researcher:
- Senior Researcher: