Mohammad Reza Mousavi

Professor of Software Engineering

Department of Informatics

King's College London

Research Interests

  • Model-based testing
    (particularly, testing variability, cyber-physical systems, and quantum-classical hybrid systems)
  • Verification
    (particularly, model-checking)
  • Concurrency theory
    (particularly, process algebra and Structural Operational Semantics)

Photo by Maciej Gazda.

Short Bio

Mohammad is a professor of Software Engineering at the Department of Informatics, King's College London, where he is the Deputy Head of Department - Research. Pripor to joining King's, he held positions at Reykjavik University (postdoctoral researcher), Eindhoven University of Technology (assistant and associate professor), Delft University of Technology (guest faculty member), Halmstad University (professor of Computer Systems Engineering), Chalmers / University of Gothenburg (guest professor of Software Engineering), and the University of Leicester (professor of Data-Oriented Software Engineering). Mohammad's main research area is in model-based testing, particularly applied to quantum systems, software product lines, and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems their validation, verification, and certification.

Publications

(From the above-given link you can download most of my publications.)

Selected Publications

Google Scholar. DBLP. ORCID.

Outreach

We regularly engage with policy-makers and the general public, write policy notes, and organise outreach activities on the theme of Quantum Software and Trust in Autonomous Systems. Here you can find some examples of our policy 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). We have been actively participating in the TeenTech program, promoting science, technology, and engineering among children.

Service

I am regularly involved, as PC or Area Chair, in most leading software engineering and formal methods conferencses. Examples include ICSE, ASE, and FM. Due to the frequent and dynamic nature of these involvements, I cannot keep an up-to-date list of all such activities here.

Some past events where I served as a chair / invited speaker:

Other service:

(Past) Students and Associates

Projects