Mohammad Mousavi's Homepage


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)

Photo by Maciej Gazda.

Selected Publications

Full publication list, where most papers are available for download.


We organise / have organised several outreach activities through our DriverLeics Team and the Leicester AI Network. Here are some examples and 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).


Conferences / workshops:

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

Other service:

Selected Projects

  • 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

Contact Information

G9 Informatics Building
Department of Informatics
University of Leicester
University Road


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.