Benjamin Hall

Professor In Computational Cancer Biology

Cambridge, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Benjamin Hall is a Professor in Computational Cancer Biology with 11+ years blending physics, chemistry, computer science and biology to model how healthy cells make decisions and how those processes fail in cancer. A Royal Society University Research Fellow turned UCL professor and co-chair of the UCL Computational Cancer Collaboratorium, he builds computational and HPC/Grid tools—principally in F# and Python—to bridge theory and experiment in developmental systems biology and molecular modelling. His work spans formal methods applied to biological networks (developed at Microsoft Research) through high-performance molecular dynamics and patient-specific treatment models for HIV. He publishes and edits in leading venues (Academic Editor at PLoS Computational Biology) and has translated research into open-source tools used beyond academia. Notably, his background in formal verification and synthesis gives him a rare computational rigor for designing predictive, reduced models of complex biological decision-making. Based in Cambridge, he combines deep software engineering with hands-on biophysical simulation to tackle early and later stages of cancer development.
code11 years of coding experience
job7 years of employment as a software developer
bookDPhil, Biochemistry, DPhil, Biochemistry at University of Oxford
languagesGerman
github-logo-circle

Github Skills (35)

z39
genomics8
bioinformatics8
user-friendly8
biology7
verification7
sbml7
proteins7
systems-biology7
vscode6
simulation6
ionide5
webservice5
ide5
image-recognition4

Programming languages (9)

RC++ShellCJavaScriptJupyter NotebookTclF#

Github contributions (5)

github-logo-circle
hallba/WritingSimulators

Jan 2018 - Nov 2020

Contributions:13 commits, 2 PRs, 26 pushes in 2 years 10 months
simulatorssystems-biologybiologysimulationpractical
hallba/Z3Tutorials

Feb 2017 - Jan 2021

A set of F# scripts demonstrating how to use Z3
Contributions:14 commits, 26 pushes in 4 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial