Jeremy Yallop
Associate Professor
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top School
Top expert inFunctional Programming and Formal Verification Technologies
Jeremy Yallop is an Associate Professor at the University of Cambridge with two decades of experience building and maintaining production-quality systems and libraries, especially in OCaml. He combines academic leadership with hands-on backend engineering, contributing to flagship projects like the core OCaml compiler and runtime and the MirageOS unikernel ecosystem. His open-source work includes subtle but impactful fixes—format printing internals, overflow checks, and bug fixes in standard library routines—that improve correctness and developer ergonomics across the language. He also modernised HTTP library compatibility in ocaml-cohttp, smoothing transitions to newer async interfaces and improving body handling. Based in Cambridge and a fellow of Robinson College, he pairs rigorous research training (PhD, MPhil, BSc) with practical maintenance of critical language infrastructure. Colleagues will note his focus on maintainability and subtle tooling improvements that quietly raise the reliability of large OCaml codebases.
20 years of coding experience
PhD, PhD at The University of EdinburghMPhil, MPhil at University of CambridgeBSc, BSc at King's College London
Github Skills (22)
async10
http10
ocaml10
mirage10
functional-programming10
unikernel10
data-structure9
algorithm9
algorithms9
functional9
performance-optimization9
optmization9
optimisation9
compiler-compiler9
optimization9
Programming languages (18)
Github contributions (5)
ocaml/ocaml
Mar 2015 - Jan 2023
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:71 reviews, 188 commits, 72 PRs in 7 years 11 months
Contributions summary:Jeremy contributed to the core OCaml system by implementing and optimizing format printing functionalities. They added and utilized functions such as `make_iprintf` to build and improve internal format printing utilities within the standard library. The user also addressed parsing and printing inconsistencies related to constrained infix operator bindings, ensuring proper code generation and formatting. Further contributions included critical bug fixes for `String.concat`, `Bytes.extend`, and `Array.concat`, along with implementing overflow checks.
functional-languagecompilersruntime-systemapllwt
mirage/mirage
Oct 2015 - Feb 2016
MirageOS is a library operating system that constructs unikernels
Role in this project:Back-end Developer
Back-end DeveloperContributions:1 release, 64 commits, 5 PRs in 4 months
Contributions summary:Jeremy primarily contributed to improving the MirageOS library operating system. Their work involved fixing documentation typos, simplifying format types, and refactoring code related to configuration keys and application tools. They also addressed issues in how module names were passed and made changes to the Functoria tool interface. These contributions suggest the user was involved in improving the clarity and maintainability of the project.
kernelvdikvmoperating-systemlinux
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.