Mohammad Mousavi's Homepage

Professor

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

Service

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
Leicester
LE1 7RH

Email: mm789@leicester.ac.uk

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

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

Accessibility

DisabledGo logo

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