School of Computing

Staff Profiles

Dr Paolo Zuliani

Senior Lecturer

Background

My up to date website is here


I am a Senior Lecturer (Associate Professor) in the School of Computing Science. 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.

Research

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).

Teaching

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

Publications