about

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).

PROJECTS

  • / School of Natural and Environmental Sciences

    2022-2023
    • Image classification to estimate the weight of cattle

education

PhD Computing Science / Newcastle University

2012-2017

Visualisation and analysis of complex behaviours using structured occurrence nets

technical

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

Interests

  • I enjoy:
    • Travelling
    • Swimming
    • Card Game