News
- Jan. 2023 - Rosetrees Trust grant awarded: AI-PSORT (Artificial Intelligence-enabled Psoriasis Stratification to Optimise Relevant Therapy)
- Oct. 2022 - Started teaching a new module on Quantum Computing
- Aug. 2022 - Paper accepted in PLOS Computational Biology
- May 2022 - Paper accepted at DNA28
- May 2022 - Paper accepted in Biotechnology & Bioengineering
- Mar. 2022 - My PhD student Konstantinos Georgopoulos has successfully defended his thesis on 'Noise Modelling, Simulation and Benchmarking for Near-term Quantum Computers'
- Feb. 2022 - I have been promoted to Reader
- Jan. 2022 - I will be Co-Chair of the Artifact Evaluation Committee of FORMATS 2022
- Dec. 2021 - Paper accepted in Physical Review A
- Nov. 2021 - I will be on the Programme Committee of QEST 2022
- Aug. 2021 - I will be a Turing Fellow at The Alan Turing Institute
- Jun. 2021 - Paper accepted in Journal of the European Academy of Dermatology & Venereology
- May 2021 - NBIC Proof of Concept grant awarded
- May 2021 - PhD studentship 'AI + Logic = Safe Autonomous Driving' available
- May 2021 - EPSRC IAA grant awarded
- Apr. 2021 - I will be on the Program Committee of MEMOCODE 2021
- Jan. 2021 - Paper accepted in Physical Review A
- Jan. 2021 - I will organise the 1st International Workshop on Verification of Autonomous & Robotic Systems at CPSWeek 2021
- Dec. 2020 - I will be on the Program Committee of QEST 2021
- Oct. 2020 - Paper accepted in Biotechnology and Bioengineering
- Sep. 2020 - Paper accepted in IEEE Access
- Sep. 2020 - Paper accepted at MEMOCODE 2020
- Sep. 2020 - Paper accepted at VECoS 2020
- Sep. 2020 - I will be on the Program Committee of ADHS 2021
- Jun. 2020 - PhD studentship in quantum computing available
- Dec. 2019 - PhD studentship on automated reasoning available
- Dec. 2019 - My PhD student Mariia Vasileva successfully defended her thesis (An evaluation of approximate probabilistic reachability techniques for stochastic parametric hybrid systems)
- Oct. 2019 - Paper accepted in Nature Communications
- Oct. 2019 - Paper accepted in PLOS Computational Biology
- Sep. 2019 - Paper accepted in Scientific Reports
- Aug. 2019 - I will be on the Programme Committee of HSB 2020
- Jul. 2019 - Paper accepted in Frontiers Microbiology
- Jul. 2019 - Invited tutorial on our tool ProbReach
at the MSc DEPEND Erasmus+ Summer School in Nancy (France)
- Jul. 2019 - I am organising a workshop on Bio-Design for Portability (BD4P) in Cambridge
- Jun. 2019 - I have co-edited Automated Reasoning for Systems Biology and Medicine: book now available!
- Apr. 2019 - I will be on the Programme Committee of MEMOCODE 2019 and IWBDA 2019
- Apr. 2019 - Postdoc position with me on Formal Verification for Synthetic Biology
- Feb. 2019 - Seminar at the University of Cambridge
- Dec. 2018 - Seminar at Stony Brook University
- Dec. 2018 - Paper accepted in the Journal of Computational Science
- Nov. 2018 - My PhD student Jeremy Revell successfully defended his thesis Parameter Inference for Stochastic Biological Models
- Oct. 2018 - I will be on the Programme Committee of CMSB 2019
- Oct. 2018 - I will be on the Programme Committee of HSB 2019
- Sept. 2018 - Invited at the Dagstuhl Seminar on Quantum Programming Languages
- July 2018 - Invited speaker at NSV 2018 in Oxford
- 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
- 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)
- Jan. 2017 - 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ò)
- Sep. 2016 - I am co-organising the 1st International Workshop on Automated Reasoning for Systems Biology and Medicine in Cambridge, UK
- Sep. 2016 - PhD studentship available!
- Sep. 2016 - Paper accepted at HVC 2016
- Aug. 2016 - My student Jeremy Revell's team wins the International BioDesign Automation programming competition
- May 2016 - Our project was runner-up for the Rosetrees 2016 Interdisciplinary Prize! (Watch this space for PhD and postdoc positions.)
- Apr. 2016 - I am on the Programme Committe of Synthetic Biology UK 2016
- Mar. 2016 - We have been awarded a £4.3 million EPSRC grant on synthetic biology! (I'll be soon looking for PhD & Postdocs in formal verification.)
- Mar. 2016 - Paper accepted at Reversible Computation 2016
- Mar. 2016 - Just finished teaching a three-week Bioinformatics course at AIMS-South Africa
- Nov. 2015 - Paper accepted on Bioinformatics
- Oct. 2015 - CPSE Labs: 2nd Open Call for Innovation Projects
- June 2015 - Two papers accepted at CMSB 2015
- June 2015 - ProbReach v1.2 has been released
- May 2015 - We have released BioPSy v1.2.1, our tool for validated parameter set synthesis
- May 2015 - I have been selected for a SAgE Doctoral Training Award
- Apr. 2015 - Submissions open for the 6th International Workshop on Static Analysis and Systems Biology (SASB 2015)
- Mar. 2015 - Submissions open for SNR 2015 - CAV Workshop on Symbolic and Numerical Methods for Reachability Analysis
- Feb. 2015 - Postdoc position in MRC-funded project on computational modelling for psoriasis
- Dec. 2014 - Two papers accepted at HSCC 2015: on hybrid systems verification and prostate cancer therapy design
- Dec. 2014 - REF 2014: Newcastle Computing Science is in the UK top-10 for Research Quality
- Sept. 2014 - Awarded an Horizon 2020 Coordination and Support Action on cyber-physical systems
- Aug. 2014 - Paper accepted at CMSB 2014 (12th Conference on Computational Methods in Systems Biology)
- Jul. 2014 - Paper accepted for International Journal on Software Tools for Technology Transfer (STTT)
- Apr. 2014 - Invited to Dagstuhl Seminar on Automated Planning and Model Checking
- Nov. 2013 - BBSRC PhD studentship with me at Newcastle
- Oct. 2013 - Newcastle advances to the iGEM World Finals!!
- Oct. 2013 - MRC grant awarded: more soon ...
- Sep. 2013 - Talk at SMC 2013
- Jun. 2013 - Invited seminar at Imperial College
- May 2013 - Submission open to HSB 2013 - 2nd workshop on hybrid systems & biology
- Apr. 2013 - Submission open to SMC 2013 - 1st workshop on statistical model checking
- Mar. 2013 - Invited speaker at QAPL 2013
- Mar. 2013 - EPSRC grant awarded: news release
- Mar. 2013 - Invited seminar at Edinburgh
- Feb. 2013 - ONR grant awarded and PhD studentship with me at Newcastle
Home