Mohammad Reza Mousavi
Professor of Software Engineering
Department of Informatics
King's College London
- Model-based testing
(particularly, testing variability and testing autonomous and cyber-physical systems)
- Concurrency theory
(particularly, process algebra and Structural Operational Semantics)
Photo by Maciej Gazda.
Mohammad is a professor of Software Engineering at King's College London.
He got his bachelors and masters degree in Computer Engineering and Software Engineering, respectively in 1999 and 2001, from Sharif University of Technology, Iran. Subsequqnetly, he obtained
his Ph.D. in Computer Science from Eindhoven University of Technology, The Netherlands in 2005.
Since then 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).
He has had various leadership positions in his past appointments, such as managing educational programs, leading research teams, and leading research-centre-building initiatives.
Mohammad's main research area is in model-based testing, particularly applied to 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.
(From the above-given link you can download most of my publications.)
- S. Biewer, R. Dimitrova, M. Fries, M. Gazda, T. Heinze, H. Hermanns, M.R. Mousavi.
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Logical Methods in Computer Science, 2022.
- C.D. Damasceno, M.R. Mousavi, and A. Simao. Learning by Sampling: Learning Behavioral Family Models from Software Product Lines. Empirical Software Engineering, 26(1): 4, 2021.
- M. Gazda and M.R. Mousavi.
Logical Characterisation of Hybrid Conformance.
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), LIPIcs Series, 2020.
- N. bin Ali, E. Engström, M. Taromirad, M.R. Mousavi, N. Minhas, D. Helgesson, S. Kunze, M. Varshosaz.
On the Search for Industry-Relevant Regression Testing Research. Empirical Software Engineering. Springer, 2019.
- H. Araujo, G. Carvalho, M. Mohaqeqi, M.R. Mousavi, and A. Sampaio.
Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation.
Science of Computer Programming. Elsevier, 2017.
- J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems, MIT Press, 2014.
We regularly engage with policy-makers and the general public, write policy notes, and organise outreach activities on the theme of Trust in Autonomous Vehicles. Here you can find some examples of our policy and outreach material:
- A policy note, as a response to the call for evidence from the Department for Digital, Culture, Media and Sport on Data: a new direction.
- A policy note, as a response to the call for
evidence from the Department for Business, Energy & Industrial Strategy and
the Centre for Connected and Autonomous Vehicles on the Future of Connected and Automated Mobility in the UK.
- A conversation on the future of autonomous vehicles
with Siddartha Khastgir, Jon-Ann Pattinson, Sara Sharples, and Jack Stilgoe.
- A podcast produced in the Living with AI series
- A leaflet produced in collaboration with the London Mathematical Society
- A film produced in collaboration with the Royal Society
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.
Conferences / workshops:
I am involved in the following future events, please consider submitting to them:
Some past events where I served as a PC member / chair / invited speaker:
- A-MOST 2021 (Invited Speaker), SPLC 2021 (General Chair),
ICST 2021, MT-CPS 2021,
TAP 2020 / 2021 (Keynote Speaker),
ICECCS 2020, ICTAC 2020,
TASE 2020, TTCS 2020,
MT-CPS 2020, MBM 2020,
QAPL 2019, SPLC 2019.
ITEQS 2019, VAMOS 2019,
ICFEM 2018, FOCLASA 2018, EXPRESS / SOS 2018, SBMF 2018, FM 2018, QAPL 2018, VaMoS 2018, SPLC 2018, TASE 2018, MT-CPS 2018, ITEQS 2018
(Past) Students and Associates
- Gabriel Pontolillo (expected graduation: October 2024)
- Hugo Leonardo da Silva Araujo (joint supervision with Augsuto Sampaio, expected graduation: March 2021)
- Anastasia Ioannou (2014-2020, supervised initially by Rick Thomas)
- Diego Nascimento Damasceno (2018-2020, now postdoctoral researcher at Radboud University Nijmegen)
- Maciej Gazda (2017-2019, now postdoctoral researcher at the University of Sheffield)
- Mahsa Varshosaz (2013-2018, assistant professor at the IT University of Copenhagen)
- Masoumeh Taromirad (2014-2018, now postdoctoral research at Lund University)
- Vanderson Haffeman (2014-2018, now assistant professor at the Federal University of Grande Dourados)
- Harsh Beohar (2013-2016, now lecturer at the University of Sheffield)
- Neda Noroozi (2009-2013, now test manager at NSpyre)
- Muhammad Atif (2007-2011, now associate professor at University of Lahore)
- Matthias Raffelsieper (2007-2011, now site reliability engineer at Google Zurich)
- Matteo Cimini (2008-2011, joint supervision with Luca Aceto, now assistant professor at University of Massachusetts Lowell)
- Hossein Hojjat (2006-2007, now assistant professor at Tehran Institute for Advanced Studies)
UKRI Verifiability Node, Funded by the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems Program (Principal Investigator, 2020-2024)
STFC Proof of Concept Project on Property-Based Testing of Quantum Programs. (Principal Investigator, 2020-2021)
Leicester Artificial Intelligence Network (LAIN), Funded by Leicester Institute for Advanced Studies (LIAS) (Co-Investigator, 2018-2020)
- AUTO-CAAS: Automated Consequence Analysis for Automotive Standards, Funded by the Swedish Knowledge Foundation (Principal Investigator, 2016-2018)
- FAR-EIS: Expanding the EIS Masters Program to Support Distance Learning, Funded by the Swedish Knowledge Foundation (Co-Investigator with Walid Taha, 2015-2017)
- EFFEMBAC: Effective Model-Based Testing of Concurrent Systems, Funded by the Swedish Science Council (Principal Investigator, 2014-2017)
- EU FP7 INESS Project: INtegrated European Signalling System, Funded by the European Commission (Collaborator with Bas Luttik and Jaco van de Pol, 2008-2012)
- Meta-Theory of Algebraic Process Theories, Funded by the Icelandic Reearch Funds (Co-Investigator with Luca Aceto and Anna Ingolfsdottir, 2010-2012)
- SOS: New Developments in Operational Semantics, Funded by the Icelandic Reearch Funds (Collaborator, with Luca Aceto and Anna Ingolfsdottir, 2008-2010)
- Unifying Framework for Operational Semantics, Funded by the Icelandic Reearch Funds (Principal Investiagor, 2007-2010)