Photo by Maciej Gazda. Professor Mohammad Reza Mousavi Academics Professor of Software Engineering Research subject areas Computer science Contact details mohammad.mousavi@kcl.ac.uk
Comparative Analysis of Carbon Footprint in Manual vs. LLM-Assisted Code Development Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement Dynamic Calibration of Trust and Trustworthiness in AI-Enabled Systems Efficient state identification for finite state machine-based testing From Ideal to Noisy: Adapting Property-Based Testing for Real-World Noisy Quantum Computers LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests Synthetic vs. Real: An Analysis of Critical Scenarios for Autonomous Vehicle Testing Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems The Future of Generative AI in Software Engineering: A Vision from Industry and Academia in the European GENIUS Project Causal Model Discovery in Cancer Guided by Cellular Pathways MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions Accelerating Finite State Machine-Based Testing using Reinforcement Learning Automated and Efficient Test-Generation for Grid-Based Multiagent Systems Compositional Learning for Interleaving Parallel Automata Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder On Specifying for Trustworthiness On Testing Ethical Autonomous Decision-Making Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review Adaptive Behavioral Model Learning for Software Product Lines A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs A Policy-Aware Epistemic Framework for Social Networks Connected tech: smart or sinister? A call for evidence from Department for Digital, Culture, Media & Sport DyNetKAT: An Algebra of Dynamic Networks Kaspar Causally Explains Preface Towards understanding causality: a retrospective study of using explanations in interactions between a humanoid robot and autistic children Trustworthy Autonomous Systems through Verifiability Conformance Relations and Hyperproperties for Doping Detection in Time and Space Data: a new direction: A call for evidence from Department for Digital, Culture, Media & Sport Efficient state synchronisation in model-based testing through reinforcement learning Locality-based Test Selection for Autonomous Agents SOS for higher order processes View all publications
22 April 2025 Great minds gather for King's Quantum Annual Symposium Top scientific policy leads and industry voices joined a choir of King’s quantum researchers to…