Skip to main content
Doctor Asieh Salehi Fathabadi

Doctor Asieh Salehi Fathabadi

 BSc, PhD
Senior Research Fellow

Research interests

  • 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.

More research

Accepting applications from PhD students.

Connect with Asieh


Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)


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.  

Back to top