— Mohammad Reza Mousavi
Professor of Data-Oriented Software Engineering
G9 Informatics Building|
Department of Informatics,
University of Leicester,
T: +44 116 252 1249 (Office)
F: +44 116 252 3604 (not personal)
E: mm789 attsign le.ac.uk
My main research interest is in model-based testing, particularly when applied to cyber-physical systems (such as healthcare and automotive systems) and software product lines.
I am also interested in concurrency theory and formal semantics.
Mohammad currently holds the chair of Data-Driven Software Engineering at the Department of Informatics, University of Leicester.
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), and
Chalmers / University of Gothenburg (guest professor of 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.
- 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 Rochester Institute of Technology)
UKRI Verifiability Node, Funded by the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems Program (Principal Investigator, 2020-2024)
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)