Institution. University of Cambridge

link · cam.ac.uk · ROR

People

Alasdair Armstrong alasdairarmstrongUniversity of Cambridge
0000-0002-2910-0764

Andrew Slattery andrewslatteryResearch Associate · University of Cambridge
PhD advisorAndrew Brooke-Taylor, Nicola Gambino
Postdoc advisorJon Sterling
PhDUniversity of Leeds
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
andrewslattery.github.io · 0009-0008-4933-821X

Angus Hammond angushammondUniversity of Cambridge
0000-0001-9156-9240

Anil Madhavapeddy anilmadhavapeddyProfessor of Planetary Computing · University of Cambridge
anil.recoil.org · 0000-0001-8954-2428

Ben Simner bensimnerPhD Student · University of Cambridge
0009-0000-8431-9577

Carl E. Rasmussen carlerasmussenProfessor of Machine Learning, Department of Engineering · University of Cambridge
PhD advisorGeoffrey Hinton
PhD studentsAdrià Garriga-Alonso
PhDUniversity of Toronto
mlg.eng.cam.ac.uk/carl

David Kaloper-Meršinjak davidkalopermersinjakUniversity of Cambridge
cl.cam.ac.uk/~dk505 · 0009-0001-4506-6236

Dhruv Makwana dhruvmakwanaPhD Candidate in Computer Science · University of Cambridge
Master’sUniversity of Cambridge
dc-mak.github.io · 0000-0001-7220-4991 · https://github.com/dc-mak

Dimitrios J. Economou dimitriosjeconomouPostdoc · University of Cambridge
PhD advisorJana Dunfield
Postdoc advisorNeel Krishnaswami
PhDQueen’s University
UndergraduateUniversity of Colorado Boulder
dimecon.github.io · 0000-0001-7920-744X · https://github.com/dimecon

Dmitrij Szamozvancev dmitrijszamozvancevUniversity of Cambridge
PhD advisorMarcelo P. Fiore, Neel Krishnaswami
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
cl.cam.ac.uk/~ds709 · 0000-0002-5436-6302

Eryk Salvaggio eryksalvaggioUniversity of Cambridge
Master’sAustralian National University
cyberneticforests.com

Glynn Winskel glynnwinskelProfessor · University of Cambridge
PhD advisorGordon Plotkin
PhD studentsHugo Paquet
PhDUniversity of Edinburgh
cl.cam.ac.uk/~gw104

Hiroyuki Katsura hiroyukikatsuraResearch Associate · University of Cambridge
PhDThe University of Tokyo
Master’sThe University of Tokyo
UndergraduateThe University of Tokyo
hkatsura.net · 0000-0003-3420-4207

Jad Elkhaleq Ghalayini jadelkhaleqghalayiniPhD student · University of Cambridge
PhD advisorNeel Krishnaswami
tekne.dev · 0000-0002-6905-1303 · https://github.com/imbrem

Jamie Vicary jamievicaryUniversity of Cambridge
PhD advisorChris Isham
PhD studentsAntonin Delpeuch
PhDImperial College London
UndergraduateUniversity of Oxford
cl.cam.ac.uk/~jv258

Jon Sterling jonmsterlingAssociate Professor · University of Cambridge
PhD advisorRobert Harper
Postdoc advisorLars Birkedal
PostdocsAndrew Slattery
PhDCarnegie Mellon University

Associate Professor in Logical Foundations and Formal Methods at University of Cambridge.

jonmsterling.com · 0000-0002-0585-5564 · jonsterling · @jonmsterling@mathstodon.xyz

Kayvan Memarian kayvanmemarianSenior Research Associate · University of Cambridge
cl.cam.ac.uk/~km569 · 0000-0003-3723-636X

Leoni Pugh leonipughUniversity of Cambridge

Léo Stefanesco leostefanescoPostdoc · University of Cambridge
Postdoc advisorTobias Grosser, Viktor Vafeiadis
PhDIRIF
Master’sMPRI (Paris)
stefanesco.com · 0000-0002-4719-2922

Marcelo P. Fiore marcelofioreProfessor · University of Cambridge
PhD advisorGordon Plotkin
PhD studentsDmitrij Szamozvancev, Sam Staton
PhDUniversity of Edinburgh
cl.cam.ac.uk/~mpf23 · 0000-0001-8558-3492

Martin Kleppmann martinkleppmannAssociate Professor · University of Cambridge
Master’sUniversity of Cambridge
0000-0001-7252-6958

Neel Krishnaswami neelkrishnaswamiProfessor of Computer Science · University of Cambridge
PhD advisorJohn C. Reynolds, Jonathan Aldrich
Postdoc advisorDerek Dreyer, Nick Benton
PhD studentsDmitrij Szamozvancev, Jad Elkhaleq Ghalayini, Michael Arntzenius, Rini Banerjee
PostdocsDimitrios J. Economou
PhDCarnegie Mellon University
cl.cam.ac.uk/~nk480 · 0000-0003-2838-5865 · neel-krishnaswami

Peter T. Johnstone peterjohnstoneProfessor · University of Cambridge
dpmms.cam.ac.uk/person/ptj1000

Peter Sewell petersewellProfessor of Computer Science · University of Cambridge
PhD advisorRobin Milner
PhD studentsJean Pichon-Pharabod, Rini Banerjee
PhDUniversity of Edinburgh
Master’sUniversity of Oxford
UndergraduateUniversity of Cambridge
cl.cam.ac.uk/~pes20 · 0000-0001-9352-1013

Rini Banerjee rinibanerjeePhD Student, Department of Computer Science and Technology · University of Cambridge
PhD advisorNeel Krishnaswami, Peter Sewell
Master’sImperial College London
rinibanerjee.com · 0009-0008-6360-3972

Sanjiv Ranchod sanjivranchodUniversity of Cambridge

Thibaut Pérami thibautperamiPhD student · University of Cambridge
cl.cam.ac.uk/~tp496 · 0009-0005-0005-7618

Thomas Bauereiss thomasbauereissUniversity of Cambridge
0000-0001-9607-8942

Tobias Grosser tobiasgrosserAssociate Professor · University of Cambridge
PostdocsLéo Stefanesco
PhDEcole Normale Superieure
UndergraduateUniversity of Passau
grosser.science · 0000-0003-3874-6003

PhD alumni

Adrià Garriga-Alonso adriagarrigaalonsoTechnical Co-founder, Dokimasia · Dokimasia
PhD advisorCarl E. Rasmussen
PhDUniversity of Cambridge
Master’sUniversity of Oxford
UndergraduateUniversitat Pompeu Fabra
agarri.ga · https://github.com/rhaps0dy

Georg Kreisel georgkreisel
PhD studentsHenk Barendregt
PhDUniversity of Cambridge

Gyula Antal Mago gyulaantalmago
PhD advisorDavid John Wheeler
PhD studentsR. Kent Dybvig
PhDUniversity of Cambridge

Hugo Paquet hugopaquetChargé de recherche · Inria
PhD advisorGlynn Winskel
Postdoc advisorLuke Ong, Sam Staton
PhDUniversity of Cambridge
di.ens.fr/~hpaquet · 0000-0002-8192-0321

Jean Pichon-Pharabod jeanpichonpharabodTenure-track assistant professor · Aarhus University
PhD advisorPeter Sewell
PhDUniversity of Cambridge
jeanpichon.github.io · 0000-0002-4442-6543

Matthew Daggitt matthewdaggittLecturer · The University of Western Australia
PhDUniversity of Cambridge
research-repository.uwa.edu.au/en/persons/matthew-daggitt · 0000-0002-2552-3671

Murray Shanahan murrayshanahanGoogle DeepMind
PhD advisorWilliam F. Clocksin
PhDUniversity of Cambridge
UndergraduateImperial College London
doc.ic.ac.uk/~mpsha

Paige Randall North paigerandallnorthAssistant Professor · Utrecht University
PhD advisorMartin Hyland
Postdoc advisorRob Ghrist, Sanjeevi Krishnan
PhDUniversity of Cambridge
UndergraduateUniversity of Chicago
paigenorth.github.io · 0000-0001-7876-0956

Ranald Clouston ranaldclouston
PhD advisorAndrew M. Pitts
PhDUniversity of Cambridge

Sam Staton samstatonProfessor of Computer Science · University of Oxford
PhD advisorMarcelo P. Fiore
PhD studentsAntonin Delpeuch, Cristina Matache
PostdocsDaniel Gratzer, Hugo Paquet, Sean Moss
PhDUniversity of Cambridge
cs.ox.ac.uk/people/samuel.staton/main.html · 0000-0002-7149-3805

Sean Moss seanmossAssistant Professor, School of Computer Science · University of Birmingham
PhD advisorMartin Hyland
Postdoc advisorSam Staton
PhDUniversity of Cambridge
seankmoss.bitbucket.io · 0009-0005-3930-5340

Shixiang Shane Gu shixiangshaneguSenior Staff Research Scientist · Google DeepMind
PhD advisorBernhard Schölkopf, Richard E. Turner, Zoubin Ghahramani
PhDUniversity of Cambridge
UndergraduateUniversity of Toronto
sites.google.com/view/gugurus/home

Timothy Roscoe timothyroscoeProfessor · ETH Zurich
PhD studentsAndrea Lattuada
PostdocsSamuel Gruetter
PhDUniversity of Cambridge
people.inf.ethz.ch/troscoe

Tom Leinster tomleinsterMathematician · University of Edinburgh
PhD advisorMartin Hyland
PhDUniversity of Cambridge
webhomes.maths.ed.ac.uk/~tl

Viktor Vafeiadis viktorvafeiadisTenured faculty · Max Planck Institute for Software Systems
PostdocsLéo Stefanesco, Ori Lahav
PhDUniversity of Cambridge
UndergraduateUniversity of Cambridge
people.mpi-sws.org/~viktor

Master’s alumni

Andrew Slattery andrewslatteryResearch Associate · University of Cambridge
PhD advisorAndrew Brooke-Taylor, Nicola Gambino
Postdoc advisorJon Sterling
PhDUniversity of Leeds
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
andrewslattery.github.io · 0009-0008-4933-821X

Dhruv Makwana dhruvmakwanaPhD Candidate in Computer Science · University of Cambridge
Master’sUniversity of Cambridge
dc-mak.github.io · 0000-0001-7220-4991 · https://github.com/dc-mak

Dmitrij Szamozvancev dmitrijszamozvancevUniversity of Cambridge
PhD advisorMarcelo P. Fiore, Neel Krishnaswami
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
cl.cam.ac.uk/~ds709 · 0000-0002-5436-6302

Henry Mercer henrymercerSoftware engineer · GitHub
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
henrymercer.name · 0000-0003-3844-9818 · https://github.com/henrymercer

Kwing Hei Li kwingheiliPhD Student, Logics and Semantics group · Aarhus University
PhD advisorLars Birkedal
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
hei411.github.io · 0000-0002-4124-5720 · https://github.com/hei411

Martin Kleppmann martinkleppmannAssociate Professor · University of Cambridge
Master’sUniversity of Cambridge
0000-0001-7252-6958

Yufei Cai yufeicaiZhejiang University
Master’sUniversity of Cambridge
UndergraduateUniversity of Pittsburgh
0000-0002-0460-961X

Undergraduate alumni

Andrew Slattery andrewslatteryResearch Associate · University of Cambridge
PhD advisorAndrew Brooke-Taylor, Nicola Gambino
Postdoc advisorJon Sterling
PhDUniversity of Leeds
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
andrewslattery.github.io · 0009-0008-4933-821X

Dmitrij Szamozvancev dmitrijszamozvancevUniversity of Cambridge
PhD advisorMarcelo P. Fiore, Neel Krishnaswami
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
cl.cam.ac.uk/~ds709 · 0000-0002-5436-6302

Dylan Braithwaite dylanbraithwaite
UndergraduateUniversity of Cambridge
0009-0004-2546-5370

Geoffrey Hinton geoffreyhintonEmeritus distinguished professor · University of Toronto
PhD advisorChristopher Longuet-Higgins
PhD studentsCarl E. Rasmussen, Richard Zemel, Ruslan Salakhutdinov
PhDUniversity of Edinburgh
UndergraduateUniversity of Cambridge
cs.toronto.edu/~hinton

Henry Mercer henrymercerSoftware engineer · GitHub
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
henrymercer.name · 0000-0003-3844-9818 · https://github.com/henrymercer

Kwing Hei Li kwingheiliPhD Student, Logics and Semantics group · Aarhus University
PhD advisorLars Birkedal
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
hei411.github.io · 0000-0002-4124-5720 · https://github.com/hei411

Peter Sewell petersewellProfessor of Computer Science · University of Cambridge
PhD advisorRobin Milner
PhD studentsJean Pichon-Pharabod, Rini Banerjee
PhDUniversity of Edinburgh
Master’sUniversity of Oxford
UndergraduateUniversity of Cambridge
cl.cam.ac.uk/~pes20 · 0000-0001-9352-1013

Rodney Martineau Burstall rodneymartineauburstall
PhD advisorK. Brian Haley, Norman Alfred Dudley
PhD studentsConor McBride, Donald Sannella, James McKinna, John Darlington
PhDUniversity of Birmingham
Master’sUniversity of Birmingham
UndergraduateUniversity of Cambridge

Viktor Vafeiadis viktorvafeiadisTenured faculty · Max Planck Institute for Software Systems
PostdocsLéo Stefanesco, Ori Lahav
PhDUniversity of Cambridge
UndergraduateUniversity of Cambridge
people.mpi-sws.org/~viktor

Formerly here

Christopher Pulte christopherpulteUniversity of Oxford
cl.cam.ac.uk/~cp526 · 0000-0002-7369-183X

Jean Pichon-Pharabod jeanpichonpharabodTenure-track assistant professor · Aarhus University
PhD advisorPeter Sewell
PhDUniversity of Cambridge
jeanpichon.github.io · 0000-0002-4442-6543

Ohad Kammar ohadkammarUniversity of Edinburgh
PhD advisorGordon Plotkin
PhD studentsYotam Dvir
PhDUniversity of Edinburgh
denotational.co.uk · 0000-0002-2071-0929

Rob van Glabbeek robvanglabbeekRoyal Society Wolfson Fellow and Professor · University of Edinburgh
theory.stanford.edu/~rvg · 0000-0003-4712-7423

Ryan Cotterell ryancotterellETH Zurich
PhD advisorJason Michael Eisner
PostdocsAlex Warstadt, Mario Giulianelli
PhDJohns Hopkins University
UndergraduateJohns Hopkins University
rycolab.io/authors/ryan · https://github.com/ryancotterell

Sam Staton samstatonProfessor of Computer Science · University of Oxford
PhD advisorMarcelo P. Fiore
PhD studentsAntonin Delpeuch, Cristina Matache
PostdocsDaniel Gratzer, Hugo Paquet, Sean Moss
PhDUniversity of Cambridge
cs.ox.ac.uk/people/samuel.staton/main.html · 0000-0002-7149-3805

S. C. Steenkamp scsteenkamp
0000-0003-3105-4098

Stephanie Weirich stephanieweirichENIAC President's Distinguished Professor of Computer and Information Science · University of Pennsylvania
PhD studentsJonathan Chan, Yiyun Liu
PhDCornell University
Master’sCornell University
UndergraduateRice University
cis.upenn.edu/~sweirich · sweirich

Steve Zdancewic stevezdancewicSchlein Family President's Distinguished Professor · University of Pennsylvania
PhD advisorAndrew C. Myers
PhDCornell University
Master’sCornell University
UndergraduateCarnegie Mellon University
cis.upenn.edu/~stevez · 0000-0002-3516-1512

Thomas Sewell thomassewellLecturer · UNSW Sydney
0000-0002-4891-0797

Viktor Vafeiadis viktorvafeiadisTenured faculty · Max Planck Institute for Software Systems
PostdocsLéo Stefanesco, Ori Lahav
PhDUniversity of Cambridge
UndergraduateUniversity of Cambridge
people.mpi-sws.org/~viktor

Wojciech Różowski wojciechrozowskiResearch Software Engineer · Lean FRO
PhD advisorAlexandra Silva
PhDUniversity College London
UndergraduateUniversity of Southampton
wkrozowski.github.io · 0000-0002-8241-7277 · https://github.com/wkrozowski
university-of-cambridge institution entries/institutions/university-of-cambridge.hel