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.
- Newcastle University students ranked 141st in the world
- Call for Chapters: Automated Reasoning for Systems Biology and Medicine (Springer)
- Newcastle University gets Gold in the 2017 Teaching Excellence Framework
- Newcastle's Computing Science is ranked 76th in the 2017 World University Rankings by the Times Higher Education
- REF 2014: Newcastle's Computing Science is in the UK top-10 for Research Quality
News
- June 2018 - Paper accepted at CMSB 2018
- Apr. 2018 - Paper accepted in PLoS One
- Apr. 2018 - I will be on the Programme Committee of IWBDA 2018
- Mar. 2018 - Paper accepted at SNR 2018
- Feb. 2018 - Invited at the Dagstuhl Seminar on Formal Methods for the Synthesis of Biomolecular Circuits
- Feb. 2018 - Call for Chapters: Automated Reasoning for Systems Biology and Medicine
- Jan. 2018 - I am on the Programme Committee of CMSB 2018, MEMOCODE 2018, and MedicalCPS 2018
- More news ...
Publications
Software
Google Scholar
Current projects
- Personalised ultraviolet B treatment of psoriasis through biomarker integration with computational modelling of psoriatic plaque resolution. 07/2017 - 06/2020; Rosetrees Trust (UK)
- Synthetic Portabolomics: Leading the way at the crossroads of the Digital and the Bio Economies. 05/2016 - 04/2021; EP/N031962/1; EPSRC (UK)
- Efficient Big Data Exploration and Verification by Cloud Computing. 10/2015 - 09/2019; SAgE DTA
- Parameter Inference and Synthesis for Stochastic Biological Models. 10/2014 - 09/2018; BBSRC DTP (UK)
- Psoriasis Stratification to Optimise Relevant Therapy (PSORT). 09/2014 - 08/2018; MR/L011808/1; MRC (UK)
- A New Frontier in Design: The Simulation of Open Engineered Biological Systems. 11/2013 - 06/2019; EP/K039083/1; EPSRC (UK)
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 -)
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.