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
Two PhD studentships available:
      - A Computational Systems Biology Approach to Psoriasis Treatment
      - Modelling ciliates and cilia as sentinel of environmental changes (based at the University of Cambridge, co-supervised with
        Dr Pietro Liò)

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.