School of Computing Science

Staff Profiles

Dr Paolo Zuliani



My up to date website is here

I am a Lecturer (Assistant Professor) in the School of Computing Science since September 2012. Before coming to Newcastle I was at Carnegie Mellon University working with Edmund Clarke on model checking. I received my Laurea degree from the Università degli Studi di Milano (Italy) and my D.Phil. from the University of Oxford (UK), both in Computer Science.


My current research area is formal verification of biological models and cyber-physical systems, using in particular model checking and SAT/SMT solvers. I am also interested in quantum programming and reversible computation, and formal methods for the specification and derivation of code (a la Dijkstra).


I am currently teaching the MSc modules Modelling Cellular Systems (CSC8316) and Stochastic Systems Biology (CSC8319).