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:
- Principal Investigator:
- Senior Researcher:
- Senior Researcher: