INTERESTED
Shaukat Ali

Simula Research Laboratory,
Oslo, Norway

Shaukat Ali

Shaukat Ali is a Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory in Oslo, Norway. He currently leads the Norwegian Quantum Software Center. His research focuses on developing advanced methods for engineering cyber-physical systems with artificial intelligence, digital twins, and quantum computing. He has led numerous national and European research projects in software testing, search-based software engineering, model-based systems engineering, and quantum software engineering. He is a co-founder of several key initiatives in the emerging field of quantum software, including the International Workshop on Quantum Software Engineering (held at ICSE), the International Conference on Quantum Software, and the QC+AI Workshop (held at AAAI). He also represents Simula in multiple national and international quantum computing research and industry networks.

Foundations and Techniques of Quantum Software Testing

Quantum software testing focuses on developing methods to systematically and automatically test quantum software that runs on quantum computers or their simulators. The lecture will begin with an introduction to the fundamental concepts of quantum software testing, followed by a brief overview of the existing literature. Next, the lecture will introduce testing techniques that emphasize input–output coverage, drawing inspiration from classical software testing, as well as approaches specifically designed for quantum software. Finally, the lecture presents mutation analysis techniques tailored to quantum software that help assess the quality of test suites.