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.

>>> PhD studentships:
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 -)
Jeremy Duncan Revell (MRes & PhD, 10/2014 -)
Mariia Vasileva (PhD, 10/2015 -)
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.