Dr Bowen Li
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 worked as a Research Associate and left the Portabolomics project in August 202. His work focused on formal verification (in particular, model checking) on Synthetic Biology and the Portabolomics Bio-adaptor. He continues to work in the group of Dr Paolo Zuliani on the EPSRC funded (IAA award) project “BioHPC: Simulating Microbial Communities on High-Performance Computers”.