School of Computing

Staff Profiles

Dr Paolo Zuliani

Senior Lecturer

Background

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

Areas of expertise: Verification for systems biology and cyber-physical systems; quantum computing.

Google scholar: Click here.

My up to date website is here.


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