Paolo Zuliani

Quantum Computer Benchmarking via Quantum Algorithms

2021 · arXiv (Cornell University)

We present a framework that utilizes quantum algorithms, an architecture aware quantum noise model and an ideal simulator to benchmark quantum computers. The benchmark metrics highlight the difference between the quantum computer evolution and the …

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

2026 · Proceedings of the AAAI Conference on Artificial Intelligence

Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verification tools fall short when faced with systems that embed both opaque, black-box …