Dr. Paolo Zuliani is a Lecturer in the School of Computing Science at Newcastle University, UK. He received his Laurea degree in computer science from Universita’ degli Studi di Milano, Italy, and his DPhil in computer science from the University of Oxford, UK.
Dr. Zuliani’s expertise lies largely in formal methods for reasoning about computing systems with an emphasis on probabilistic and quantum systems.