Paolo Zuliani

I am a Lecturer (Assistant Professor) in computer science in the ICOS group, School of Computing Science at Newcastle University. Earlier, I worked with Edmund M. Clarke (Carnegie Mellon University) on formal verification, model checking, and systems biology.

Open positions
I am always looking for bright, motivated PhD students interested in verification, cyber-physical systems, synthetic & systems biology, or quantum computing - do get in touch.


Funded projects
Research group
Fedor Shmarov (PhD, 10/2013 -)
Jeremy Duncan Revell (MRes & PhD, 10/2014 -)
Mariia Vasileva (PhD, 10/2015 -)
Bowen Li (Postdoc, 05/2016 -)
Graham Smith (Postdoc, 06/2016 -)

DPhil, Computer Science, University of Oxford (UK)
Laurea, Computer Science, Università degli Studi di Milano (Italy)
The best way to contact me is by email. My institutional profile.