Jeremy Yallop

Jeremy Yallop is an Associate Professor at the University of Cambridge Computer Laboratory and a Fellow & Director of Studies at Robinson College. He works on dependently-typed programming, multi-stage programming, and parser combinator libraries.

• Education:
  • PhD, University of Edinburgh (2010)
  • MPhil, University of Cambridge (2004)

Research interests include algebraic optimization with Frex (a framework for equational reasoning in dependently-typed languages), modular macros for OCaml, staged compilation techniques, and deterministic parser design. His work bridges theoretical type systems with practical language implementation.

Recent article trends show focus on dependently-typed algebraic simplification, staged compilation, parser combinator performance, and multi-stage programming safety. Collaborations span institutions including University of Edinburgh, KCL, and Jane Street.

Scientific awards:

• Distinguished Paper & Artifact Awards (PLDI 2019)
• Best Paper Award (PEPM 2016)

Advising: Accepts MPhil/PhD students at Cambridge. Community involvement: Organized workshops/seminars including Dagstuhl 16112, TyDe, and GPCE conferences.