Paolo Zuliani
Associate Professor
Rome, Lazio, Italy
Summary
👤
Senior🎓
Top SchoolPaolo Zuliani is an associate professor of computer science at Sapienza University of Rome with 12 years of experience bridging research and technical coordination in quantum computing, quantum programming languages, and formal verification. After a DPhil from Oxford and an early technical coordination role at Carnegie Mellon, he spent over a decade as a Reader at Newcastle University before returning to Italy, blending deep theoretical foundations with practical SMT and model-checking methods. His work focuses on making quantum software provably correct, combining programming-language design with automated verification techniques. Colleagues value his ability to translate abstract quantum semantics into tools and analyses that advance both academic understanding and implementable technologies.
12 years of coding experience
University of MilanDPhil, Computer Science, DPhil, Computer Science at University of Oxford
Github Skills (13)
reachability9
synthesis9
stochastic9
clang-tidy4
bioinformatics4
clang4
gcc4
python3
biology3
hybrid3
solver3
smt2
nonlinear2
Programming languages (2)
Github contributions (5)
pzuliani/pzuliani.github.io
Jun 2018 - May 2026
Contributions:242 pushes, 1 branch in 8 years
dreal/biology
Feb 2015 - May 2015
Contributions:2 releases, 18 commits, 18 pushes in 3 months
bioinformaticspythonbiology
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.