King’s College London,
London, UK
Mohammad Reza Mousavi is a Professor of Software Engineering in the Department of Informatics at King’s College London. He received his PhD from Eindhoven University of Technology in the Netherlands and has held academic positions at Reykjavik University, Eindhoven University of Technology, Delft University of Technology, Halmstad University, Chalmers University of Technology, and the University of Leicester before joining King’s in 2021.
His research spans software testing, autonomous and cyber-physical systems, software product lines, and formal semantics and verification. Building on this strong foundation, his recent work also engages with emerging challenges in quantum software, where he contributes principled testing and verification perspectives that help bring rigor and reliability to quantum programs and hybrid quantum-classical systems.
We are witnessing the increasedavailability of powerful quantum computing facilities as a service; also, there are promising prospects of applying quantum computing in fields such as material-and drug discovery, as well as scheduling, and optimisation. With these prospects comes an inherent challenge of quality assurance of complex quantum programs. Quantum programs and programming frameworks are becoming more complex, and this complexity creates a gap, calling for novel and rigorous testing and debugging frameworks. In this talk, we present an overview of the fascinating emerging field of quantum software testing and its numerous challenges and opportunities. In particular, we review our recent research on characterising faults in hybrid quantum-classical architectures. This has led toa taxonomy of real faults in hybrid quantum-classical architectures. We also present our long-standing effort to establish a mature property-based testing framework for quantum programs both for fault-tolerant and for noisy architecture. We also present an automated debugging and runtime monitoring frameworksbased on property-based testing.
