Ben Andrew
Research Software Engineer at Veribee
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.
11 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, BA (Hons) Computer Science at University of CambridgeA-levels Maths, Further Maths, Physics, Computer Science, A-levels Maths, Further Maths, Physics, Computer Science at Haberdashers' Aske's Hatcham College
English, French, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (53)
docker-build10
ocaml10
cap9
btrfs9
opam9
package-repository9
zfs9
distribute9
nodes8
testing8
docker7
pipeline6
cicd6
compiler5
proto5
Programming languages (8)
Github contributions (5)
benmandrew/DTLSR
Oct 2021 - Nov 2022
Contributions:150 commits, 121 pushes in 1 year
benmandrew/opam-repo-ci
Mar 2023 - Jun 2024
An OCurrent pipeline for testing submissions to opam-repository
Contributions:1 PR, 80 pushes, 65 branches in 1 year 2 months
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.