— 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 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 currently holds the chair of Data-Driven Software Engineering at the Department of Informatics, University of Leicester.
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.
- Anastasia Ioannou (expected graduation: June 2020)
- Hugo Leonardo da Silva Araujo (joint supervision with Augsuto Sampaio, expected graduation: September 2021)
- Diego Nascimento Damasceno (joint supervision with Adnilso Simao, expected graduation: September 2020)
- Maciej Gazda (2017-2019, now postdoctoral researcher at the University of Sheffield)
- Mahsa Varshosaz (2013-2018, now postdoctoral researcher at the IT University of Copenhagen)
- 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 assistant 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)
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-PI 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-PI, 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)