Paolo Zuliani

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

News

Publications

Software

Google Scholar

Current projects

Completed 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 -)

Former group members

Teaching

At Newcastle we offer MSc degrees in Synthetic Biology (yes!), Computational Systems Biology, Bioinformatics, and Neuroinformatics. My current teaching.

Conferences

MEMOCODE 2018; CMSB 2018; DARS 2018; MedicalCPS 2018; ADHS 2018; CMSB 2017; HSCC 2013, 2014, 2016; IWBDA 2017; SBUK 2016; COMBINE 2016; SNR 2015, 2018; SMC 2013; RC 2012, 2013, 2014; HSB 2012, 2013, 2015, 2016; SASB 2012, 2013, 2015, 2016; PASM 2012, 2014

Education

DPhil, Computer Science, University of Oxford (UK)

Laurea, Computer Science, Università degli Studi di Milano (Italy)

Contact

The best way to contact me is by email. My institutional profile.