Computing Science, Strand 3.1 Property description formalisms for Synthetic Biology and Portabolomics Bio-adaptor, Strand 3.2 Model checking methods and partial order reduction techniques for Bio-adaptor
Bowen received his PhD in Theoretical Computer Science from School of Computing, Newcastle University. From 2017 to 2019 he was a Research Associate working on the micro-scale modelling of microbial communities using individual based models. His research interests centres on applying formal techniques to the modelling, verification, and analysis of biological systems.
Bowen joined the Portabolomics project in September 2019 as a Research Associate. His work involves formal verification (in particular, model checking) on Synthetic Biology and the Portabolomics Bio-adaptor.