Alistair O'brien
Doctoral Student at University of Cambridge
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
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
4 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 (42)
javascript10
parser10
interpreter10
ocaml10
tezos10
javascript-engine10
compiler10
webassembly10
ecmascript10
opam9
package-repository9
overloading9
rust9
type-inference8
operating-system8
Programming languages (12)
Github contributions (5)
johnyob/dromedary
Oct 2021 - Jul 2022
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
Contributions:270 commits, 77 PRs, 183 pushes in 8 months
ocamltype-inference
trilitech/boa
Sep 2023 - Oct 2024
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language.
Contributions:3 reviews, 26 pushes, 7 branches in 1 year 1 month
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.