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”.
Email: Bowen.Li2@newcastle.ac.uk
