Skip to content

Benjamin Hall

  • DPhil
  • Consultant
  • Microsoft Research
  • 31PublicationsNumber of items in Benjamin's My Publications folder on Mendeley.
  • 36Followers


My current role concerns the application of formal modelling approaches to biological systems. Specifically, I am applying novel open world logic programming techniques to modelling vulval development in C. elegans, and working on the development of new abstractions within computational biology. Previously I worked as a postdoctoral researcher in the Structural Bioinformatics and Computational Biology unit as part of the Oxford Centre for Integrative Systems Biology, under Professor Mark Sansom, and the centre for computational science at UCL, under professor Peter Coveney. These works concerned the application of multiscale modelling techniques to the methyl accepting chemoreceptors (MCPs) from E. coli, and drug development in HIV. I was presented with an Apple Laureate (http:// in 2008, and was awarded as co-PI a grant of $30,000 worth of Apple hardware for the project “A Biomolecular Simulation Pipeline”, during which I successfully developed the Sidekick software for understanding TM helix behaviour (follow SidekickSims on twitter for publications using the software). I also held a lectureship at St Catherine’s College, University of Oxford. I am currently an associate fellow under the Science 2020 program.

Recent publications

  • Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform

    • Chuang R.
    • Hall B.A.
    • Benque D.
    • et al.
    Get full text
  • Emergent Stem Cell Homeostasis in the C. elegans Germline Is Revealed by Hybrid Modeling.

    • Hall B
    • Piterman N
    • Hajnal A
    • et al.
    Get full text

Professional experience


Microsoft Research

October 2014 - Present

Royal Society URF

University of Cambridge

October 2014 - Present

Post doc researcher

Microsoft Research

September 2012 - October 2014(2 years)

Associate fellow

2020 Science

November 2011 - October 2014(3 years)

Research associate in biomedical molecular dynamics

Department of Chemistry, University College London

September 2011 - September 2012(a year)


St Catherine's College, University of Oxford

October 2009 - September 2011(2 years)

Research Associate

University of Oxford

October 2007 - September 2011(4 years)

University of Cambridge



Linacre College, University of Oxford

October 2004 - October 2007(3 years)


University College, University of Oxford

October 2000 - October 2004(4 years)


Followers (36)

Explore network

Following (36)

Explore network