Alistair O'brien
Senior Software Engineer at University of Cambridge
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolAlistair O'brien is a Senior Software Engineer and PhD researcher at the University of Cambridge with a decade of experience building compilers, type systems, and cloud-native tooling. A Queens' College Cambridge BA in Computer Science, he has led ecosystems and tools teams at trilitech, shipping next-generation language compilers and runtimes for Tezos, and has hands-on AWS architecture and DevOps experience from industry roles. His research—"Typing OCaml in OCaml: A Constraint-Based Approach"—reflects a deep, practical interest in programming language theory and type systems that feeds directly into his production work. Based in Cambridge, he combines systems and graphics sensibilities with compiler internals, and is known among peers as a compiler and type-system enthusiast who bridges academic rigor with shipping robust developer tools.
10 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of CambridgeA-Levels Computer Science Mathematics Further Mathematics Physics, A-Levels Computer Science Mathematics Further Mathematics Physics at Ellesmere College
Github Skills (76)
parser10
javascript-engine10
ppx10
opam10
multicore10
dune10
idris10
gleam10
compiler10
boa10
ecmascript10
ocaml10
dub10
lwt10
apl10
Programming languages (11)
Github contributions (5)
jstz-dev/jstz
Oct 2023 - Apr 2025
JavaScript runtime and compute platform build on Tezos Smart Rollups
Contributions:573 reviews, 356 PRs, 714 pushes in 1 year 6 months
johnyob/Quantum-Computer-Simulator
Jul 2018 - Feb 2019
Contributions:26 commits, 8 pushes, 1 branch in 7 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.