About
Asieh Salehi Fathabadi is a senior research fellow in the cyber-physical systems group at the University of Southampton, UK. Her main research area is formal methods for software engineering. She has spent the past 10 years working on several research projects to propose and facilitate use of formal methods for design and verification of safe and secure software-based systems.
Research
Research groups
Research interests
- Formal methods
- Autonomous Systems
- 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.
- I am also interested in Public Engagement (PE) activities to engage children with my ongoing research.
Current research
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.
I am also interested in Public Engagement (PE) activities to engage children with my ongoing research. A video of my PE activities is available here.
Research Projects:
- 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
Research projects
Active projects
Publications
Supervision
Current PhD Students
Biography
Asieh Salehi Fathabadi is a senior research fellow in the cyber-physical systems group at the University of Southampton, UK. Her main research area is formal methods for software engineering. She has spent the past 10 years working on several research projects to propose and facilitate use of formal methods for design and verification of safe and secure software-based systems.
Roles and Responsibilities:
- ECS Research Concordat Champion
- ECS EDI Committee