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. He is in particular interested in the verification of biological systems, cyber-physical systems and quantum programs.
Tel: 0191 208 8064
Email: paolo.zuliani@ncl.ac.uk
Website: Click here
