Scholar
Mohammad Reza Mousavi
Google Scholar ID: KtpGCS4AAAAJ
Professor of Software Engineering, King's College London
Citations & Impact
Citations
1,416
H-index
16
i10-index
31
Publications
20
Co-authors
90
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- - Publication: Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement (CONCUR 2025, Best paper award)
- - Publication: Accelerating Finite State Machine-Based Testing using Reinforcement Learning (IEEE Transactions on Software Engineering, 2024)
- - Publication: Conformance Relations and Hyperproperties for Doping Detection in Time and Space (Logical Methods in Computer Science, 2022)
- - Publication: Learning by Sampling: Learning Behavioral Family Models from Software Product Lines (Empirical Software Engineering, 2021)
- - Publication: Logical Characterisation of Hybrid Conformance (ICALP 2020)
- - Publication: On the Search for Industry-Relevant Regression Testing Research (Empirical Software Engineering, 2019)
- - Book: Modeling and Analysis of Communicating Systems (MIT Press, 2014)
Research Experience
- - Postdoctoral researcher at Reykjavik University
- - Assistant and associate professor at Eindhoven University of Technology
- - Guest faculty member at Delft University of Technology
- - Professor of Computer Systems Engineering at Halmstad University
- - Guest professor of Software Engineering at Chalmers / University of Gothenburg
- - Professor of Data-Oriented Software Engineering at the University of Leicester
Background
- - Professor of Software Engineering
- - Main research area: Model-based testing (particularly applied to software product lines, cyber-physical systems, and quantum systems), verification (particularly model-checking), concurrency theory (particularly process algebra and Structural Operational Semantics)
- - Leads the Software Systems Group
- - Research interests include validation, verification, and certification of healthcare and automotive systems
Miscellany
- - Engages with policy-makers and the general public, writes policy notes, and organizes outreach activities on the theme of Trust in Autonomous Vehicles
- - Featured in Aljazeera, BBC Radio 4, BBC Leicester Radio, and Discovery Education
- - Actively participates in the TeenTech program, promoting science, technology, and engineering among children
