Jeremy Yallop
Associate Professor · School of Technology · University of Cambridge
Quick answer: Jeremy Yallop is Associate Professor at University of Cambridge. Jeremy Yallop shows an active PhD hiring signal as of 2026-09-11.
⭐ Enquiries from potential MPhil and PhD students are welcome. My MPhil/Part III project proposals can be found here (local access only). The departmental website has some information about PhD applications.
Research interests
Research summary not on file — visit the faculty homepage for details.
Selected publications (since 2023)
[2026] Mechanised Semantics of Multi-Stage Programming (pdf)
OOPSLA 2026
Ka Wing Li, Maite Kramarz, Ningning Xie, and Jeremy Yallop
[2026] A One-Pass CPS Transform with Simulation on the Nose (pdf)
PADL 2026
Pascal Lasnier, Jeremy Yallop, and Magnus Myreen
[2026] Brack: A Verified Compiler for Scheme via CakeML (pdf, code)
CPP 2026
Pascal Lasnier, Jeremy Yallop, and Magnus Myreen
[2026] Typed Abstractions for Causal Probabilistic Programming (extended abstract) (pdf, code)
LAFI 2026
Theo Wang, Dario Stein, Eli Bingham, Jack Feser, Ohad Kammar, Michael Lee, and Jeremy Yallop
[2026] Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks (pdf)
POPL 2026
Michael Lee, Ningning Xie, Oleg Kiselyov, and Jeremy Yallop
[2025] Frex: dependently-typed algebraic simplifi
Frequently asked questions
Is Jeremy Yallop hiring PhD students at University of Cambridge?
Yes. As of 2026-09-11, Jeremy Yallop's faculty page shows a PhD hiring signal: Enquiries from potential MPhil and PhD students are welcome. My MPhil/Part III project proposals can be found here (local access only). The departmental website has some information about PhD applicat.
What does Jeremy Yallop research?
See Jeremy Yallop's faculty homepage for current research details.
Data last updated: 2026-09-11 · Source: phd-match.com faculty database.
Is Jeremy Yallop a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching