Scholar
Paolo Zuliani
Google Scholar ID: v_D4D78AAAAJ
Associate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, Italy
Quantum Computation
Verification
Model Checking
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,818
H-index
18
i10-index
34
Publications
20
Co-authors
7
list available
Contact
No contact links provided.
Publications
3 items
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
2025
Cited
0
Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
2025
Cited
0
High-level quantum algorithm programming using Silq
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
7 total
Co-author 1
Fedor Shmarov
School of Computing, Newcastle University
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Co-author 4
Co-author 5
Sicun Gao
UCSD
Soonho Kong
Amazon Web Services
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up