skip to primary navigationskip to content



Dr Benjamin Hall

Research Profile


Dr Ben Hall is a computational biologist in the MRC Cancer Unit. He leads a program on “Modelling the decision processes of cancer”, where his team develop computational models of the earliest stages of cancer progression, with a particular focus on the use of executable models and formal verification. He holds a Royal Society University Research Fellowship, and work in his group is funded by the MRC, Microsoft Research, and the Royal Society.

Prior to his current position he worked with Dr Jasmin Fisher at Microsoft, constructing executable models of organ development in C. elegans and developing tools for formal verification in biology. He continues to collaborate with Dr Fisher in the ongoing development and maintenance of the BioModelAnalyzer. He completed his DPhil and previous post-doctoral positions in molecular modelling at Oxford and UCL.