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 (14)
stochastic9
reachability8
probabilistic7
synthesis6
gcc5
clang-tidy5
biology4
bioinformatics4
hybrid4
python3
clang3
nonlinear1
solver1
smt1
Programming languages (2)
Github contributions (5)
pzuliani/pzuliani.github.io
Jun 2018 - Apr 2025
Contributions:235 pushes, 1 branch in 6 years 10 months
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.