Bowen Li joined the team in October 2022 with the background in computational modelling, including both theory and application. He has over 7 years experience in research software development. Li received his PhD in 2017 working on the formal modelling and verification of complex evolving system (CES). Since then, he has been involved in three EPSRC-funded projects as Research Associate. During his career, Li was the developer of several open-source scientific software, including NUFEB (Massively parallel simulator for agent-based modelling microbial systems); SONCraft (GUI-based platform for CES modelling and visualisation); and mcSTACK (Probabilistic model checker fo DNA nano-device system).


  • / School of Natural and Environmental Sciences

    • Image classification to estimate the weight of cattle


PhD Computing Science / Newcastle University


Visualisation and analysis of complex behaviours using structured occurrence nets


  • Programming:
    • C/C++
    • Java
    • Python
  • Software:
    • Docker
    • Unix Shell
    • Latex
    • Sphinx
    • Git/Github
  • Topics:
    • Computational Biology
    • Mathematical Modelling
    • Numerical Simulation
    • Formal Verification


  • I enjoy:
    • Travelling
    • Swimming
    • Card Game