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.
- Call for Chapters: Automated Reasoning for Systems Biology and Medicine (Springer)
- 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
- 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
- Nov. 2017 - My student Fedor Shmarov passed his PhD exam
- Nov. 2017 - Paper accepted at InfQ 2017
- Sep. 2017 - Paper accepted at HVC 2017
- Aug. 2017 - Invited talk at MIMOmics 2017 in Cambridge
- July 2017 - Delivered a tutorial on ProbReach with my student Fedor Shmarov at NSV 2017
- July 2017 - Paper accepted in PLoS One
- June 2017 - Promoted to Senior Lecturer (with effect from 1 August 2017)
- Mar. 2017 - Postdoc position in Parallel Computing at Newcastle
- Mar. 2017 - Taught a three-week Bioinformatics course at the African Institute for Mathematical Sciences (Cape Town, South Africa)
- More news ...
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)
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