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)

Selected Publications


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

I am the editor-in-chief of Science of Computer Programming; please consider submitting your best papers to SCP.

Additionally, I am on the academic editorial board of PeerJ Computer Science; please support this open access high quality journal by submitting to it.

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


DisabledGo logo

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