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, in particular a formal method called Event-B, for software engineering. Formal methods are mathematically rigorous techniques for the specification, development and verification of software and hardware systems and hence can contribute to the reliability and robustness of a design. My research work includes application, tools and methodology for formal methods.
Current research
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