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)
Theme Leader at the School of Informatics for Trustworthy Autonomous Systems

Photo by Maciej Gazda.

Selected Publications

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

Outreach

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.

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

AccessAble logo

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