Mohammad Mousavi's Homepage

Important note:
I am at King's College London as of August 15, 2021.
My new email address is:

My new web page is:



Data-Oriented Software Engineering

Research Interests

  • Model-based testing (particularly, testing variability and testing cyber-physical systems)
  • Verification (particularly, model-checking)
  • Concurrency theory (particularly, process algebra and Structural Operational Semantics)


Theme Leader at the School of Informatics for Trustworthy Autonomous Systems


Photo by Maciej Gazda.

Selected Publications

Full publication list on my personal page, where most papers are available for download. Google Scholar. DBLP. ORCID.


We organise outreach activities on the theme of Trust in Autonomous Vehicles through our DriverLeics Team and the Leicester AI Network. Here you can find some examples of our outreach material:

Our research and outreach has been featured on Aljazeera, BBC Radio 4, BBC Leicester Radio, and Discovery Education (for Key Stage 2 Children). We have been actively participating in the TeenTech program, promoting science, technology, and engineering among children.


I am currently responsible for the following two modules:

  • Foundations of Computation (CO1108)
  • Foundations of Artificial Intelligence (CO2114)


Conferences / workshops:

I am involved in the following future events, please consider submitting to them:

Other service:

Selected Grants

  • UKRI Verifiability Node: A unifying framework to integrate verification techniques for Trustworthy Austonomou Systems (Principal Investigator)
  • AUTO-CAAS: Automated Consequence Analysis for Automotive Standards, Funded by the Swedish Knowledge Foundation (Principal Investigator)
  • EFFEMBAC: Effective Model-Based Testing of Concurrent Systems, Funded by the Swedish Science Council (Principal Investigator)
  • EU FP7 INESS Project: INtegrated European Signalling System
The list of all past grants is available through my personal home page.

Contact Information

G9 Informatics Building
Department of Informatics
University of Leicester
University Road


Personal home page

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.