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)

Photo by Maciej Gazda.

Selected Publications

Service

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