CV

Here you can find an overview of my academic profile, including my research activities, publications, and professional experience, as well as a downloadable version of my academic CV.

Basics

Name Avner Bensoussan
Label PhD Candidate in Computer Science
Email avner.bensoussan@kcl.ac.uk
Url https://kclpure.kcl.ac.uk/portal/en/persons/avner-bensoussan/
Summary PhD candidate in Computer Science working on quantum software testing and verification, with a focus on faults in Hybrid Quantum–Classical architectures and information-theoretic approaches to software testability.

Work

  • 2023.10 - Present
    PhD Candidate, Department of Informatics
    King's College London
    PhD research on testing and verification of Hybrid Quantum–Classical software architectures. Member of King’s Quantum and the Software Systems (SSY) research group, contributing to the RoarQ (Robust and Reliable Quantum Computing) collaboration and the VSL-Q project.
    • Defined the Quantum Squeeziness information-theoretic testability metric
    • Developed the first taxonomy of real faults in Hybrid Quantum–Classical architectures published in ACM TOSEM
    • Co-supervised 5 BSc thesis projects at King’s College London, in industrial collaboration with Applied Quantum Computing, based on OOPSLA 2025 publication AccelerQ.
  • 2023.05 - 2023.09
    Fellow Researcher
    King's College London
    Research on testing approaches for autonomous vehicles using Carla and ROS.
    • Designed experiments to evaluate realism in simulation environments
    • Publication in Automated Software Engineering

Education

  • 2023.10 - Present

    London, UK

    PhD
    King's College London
    Computer Science, Quantum Software Engineering
  • 2020.09 - 2023.06

    London, UK

    BSc
    King's College London
    Computer Science (AI Pathway)
    • Final Project: Testing the Ethical Decision-Making of Autonomous Vehicles

Publications

Projects

  • 2023.01 - Present
    A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures
    Published taxonomy of real-world faults in Hybrid Quantum–Classical software architectures.
    • Quantum Software Testing
    • Taxonomy of real faults
    • Hybrid Software
  • 2024.10 - Present
    King’s Quantum
    King’s Quantum is a multidisciplinary research initiative across King’s College London, integrating expertise from physics, computer science, engineering, and life sciences departments. It develops transformative quantum technologies for healthcare, life sciences, security, and industry, promoting collaboration between academic departments and industry partners to apply quantum computing, sensing, and simulation in real-world challenges.
    • Quantum Computing for Drug Discovery
    • Quantum Sensors
    • Hybrid Quantum-Classical Systems
  • 2023.10 - Present
    RoaRQ
    RoaRQ is a UK-wide inter-university collaboration, led by Oxford University, and includes researchers from King's College London and 11 other world-class UK universities. It focuses on developing robust, fault-tolerant quantum computing systems and reliable quantum software, emphasizing cross-university collaboration in quantum fault analysis, verification, and error mitigation.
    • Fault-Tolerant Quantum Computing
    • Reliable Quantum Software
    • Quantum Error Mitigation
  • 2023.10 - Present
    VSL-Q (Verified Simulation for Large Quantum Systems)
    VSL-Q develops verified simulation techniques for large-scale quantum systems, combining quantum simulation methods with formal verification to ensure correctness and reliability of simulations.
    • Quantum Simulation
    • Formal Verification

Skills

Programming Languages
Python
C
C++
R
Scala
MATLAB
Frameworks & Tools
Qiskit
Cirq
Pennylane
Tensorflow Quantum
ROS
CARLA
Git
LaTeX

Languages

French
Native speaker
Hebrew
Fluent
English
Fluent
Portuguese
Beginner
Arabic
Beginner

Interests

Quantum Computing
Quantum Software Testability
Formal Verification
Hybrid Quantum-Classical Architectures
Hobbies
Choir
Guitar
Triathlon

References

Prof. Mohammad Reza Mousavi
Professor of Software Engineering, King's College London
Prof. George Booth
Professor of Theoretical Physics, King's College London
Dr. Karine Even-Mendoza
Lecturer in Systems & Programming Languages, King's College London