Paolo Zuliani

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

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.


Current projects
Research group
Fedor Shmarov (PhD, 10/2013 - 10/2017; Postdoc, 11/2017 -)
Jeremy Duncan Revell (MRes & PhD, 10/2014 -)
Mariia Vasileva (PhD, 10/2015 -)
Martin Sidaway (PhD, 10/2017 -)
Bowen Li (Postdoc, 05/2016 -)
Graham Smith (Senior 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.