Leo White
Senior Software Engineer at GE Aviation
Gloucester, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolLeo White is a Senior Software Engineer based in Gloucester, UK, with 13 years of experience building and refining low-level and back-end systems. Currently at GE Aviation, he brings deep expertise in OCaml, contributing to high-profile open-source projects including the OCaml compiler and Merlin, where he worked on type checking, runtime memory management, and fiber/interpreter enhancements. His open-source work shows a talent for correcting subtle language and type-system issues—improving code examples, subtyping, and path resolution—to make tooling and documentation more reliable for other developers. Known for tackling tricky systems problems, he combines practical production engineering with a careful, correctness-first approach to language and runtime internals.
13 years of coding experience
Salesian College, BatterseaUniversity of York
Github Skills (16)
type-system10
memory-management10
code-analysis10
run-time10
compiler-design10
code-generation10
runtimes10
object-oriented-programming10
sys10
bytecode10
runtime-environment10
ocaml10
classes9
functional-programming9
vim8
Programming languages (9)
Github contributions (5)
ocaml/ocaml
Jun 2014 - Dec 2022
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:231 reviews, 590 commits, 240 PRs in 8 years 6 months
Contributions summary:Leo contributed significantly to the core OCaml system, including compiler and runtime system code. Their work focused on low-level system programming, specifically involving the implementation of read barriers and the modification of memory management components within the Cmmgen and Bytecomp modules. They implemented changes within the fiber and interpreter code including handling of context switches and support for moving continuations across domains.
functional-languagecompilersruntime-systemapllwt
ocaml/merlin
Jun 2017 - May 2022
Context sensitive completion for OCaml in Vim and Emacs
Role in this project:Back-end Developer
Back-end DeveloperContributions:4 reviews, 40 commits, 14 PRs in 5 years
Contributions summary:Leo primarily contributed to the OCaml Merlin project, focusing on improving the type checking and code analysis capabilities of the tool. Their work involved refining short path resolution within the type system, ensuring correct environment handling for expressions, and addressing issues related to package type paths. The user's commits also included refactoring and bug fixes.
vimocamlemacssensitiveatom
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.