Paolo Zuliani
Associate Professor
Dipartimento di Informatica
Università di Roma "La Sapienza"
Rome, Italy
Email: zuliani@di.uniroma1.it
Institutional page: here
Research Interests
- Quantum computing (quantum verification and quantum programming languages)
- Formal verification for stochastic, biological, and cyber-physical systems by combining numerical, model checking and SMT techniques
PhD candidates: if you are interested in formal verification or quantum computing / programming do get in touch as we have PhD studentships available.
Research Outputs
Teaching/Didattica
Group
News
Funding
Bio Bits
“Ma quanto più m’interno in considerar la vanità de i discorsi popolari, tanto più gli trovo leggieri e stolti.” Galileo Galilei (Dialogo dei Massimi Sistemi, 1632).