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:HArNessing trust and Acceptance in Human-AI Partnetships (HANA-HAIP)
- Principal Investigator: Verifiably Safe and Trusted Human-AI Systems (VESTAS)
- Senior Researcher: HD-Sec: Holistic Design of Secure Systems on Capability Hardware
- Senior Researcher: HICLASS: Enabling Development of Complex and Secure Aerospace Systems
- UML-B
- Event-B @ Soton