Ben Andrew
Supervisor at University of Cambridge
Manchester, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolBen Andrew is a PhD researcher and software engineer with 11 years’ experience specialising in safety-critical system verification and robust tooling for the OCaml ecosystem. He has hands-on systems and CI experience from Tarides, where he built distributed CI for the Opam repository and exposed multicore runtime bugs while testing OCaml 5 across many OSes and architectures. At Cambridge he supervises undergraduates in logic and formal verification and has applied GPU optimisation and memory-constrained runtime work in prior research internships. His background spans embedded cross-compilation, real-time OS constraints, and graphics optimization for VR, reflecting an unusual mix of low-level systems and formal methods. Based in Manchester, he combines rigorous academic training with production engineering that surfaces subtle concurrency and degradation issues before they reach users.
10 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of ManchesterBA (Hons), Computer Science, II.1, 70%, BA (Hons), Computer Science, II.1, 70% at University of CambridgeA-levels, Maths, Further Maths, Physics, Computer Science, A*A*A*A, A-levels, Maths, Further Maths, Physics, Computer Science, A*A*A*A at Haberdashers' Aske's Hatcham College
English, French, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (74)
enumerate10
filemaker10
docker-build10
ocaml10
opam9
package-repository9
dune9
btrfs9
zfs9
ci-cd-pipeline9
snapshots9
continuous-integration9
nodes9
distribute8
pipeline8
Programming languages (8)
Github contributions (5)
benmandrew/benmandrew.github.io
Jul 2022 - Dec 2024
Contributions:78 pushes, 2 branches in 2 years 6 months
benmandrew/DTLSR
Oct 2021 - Nov 2022
Contributions:150 commits, 121 pushes in 1 year
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.