Institution. University of Oxford

link · ox.ac.uk · ROR

People

Bob Coecke bobcoeckeUniversity of Oxford
PhD studentsAntonin Delpeuch, Robin Piedeleu
cs.ox.ac.uk/people/bob.coecke

Christian Schroeder de Witt christianschroederdewittAssociate Professor of AI and Information Security · University of Oxford
wittlab.ai

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

Elena Di Lavore elenadilavoreResearch Associate · University of Oxford
PhDTallinn University of Technology
elenadilavore.github.io · 0000-0002-7783-5079

Jack Liell-Cock jackliellcockPhD Student · University of Oxford
UndergraduateThe University of Sydney
0009-0005-7121-8095

Jeremy Gibbons jeremygibbonsProfessor of Computing · University of Oxford
PhD advisorRichard Bird
PhD studentsHsiang-Shang Ko
PhDUniversity of Oxford
cs.ox.ac.uk/people/jeremy.gibbons · 0000-0002-8426-9917 · @jer_gib@functional.cafe

Johannes Hartmann johanneshartmannUniversity of Oxford
Master’sTechnical University of Darmstadt
0000-0003-2671-4194

Michael Bronstein michaelbronsteinUniversity of Oxford
PhD advisorRon Kimmel
PostdocsAntonio Norelli
PhDTechnion Israel Institute of Technology
cs.ox.ac.uk/people/michael.bronstein

Nathan Corbyn nathancorbynUniversity of Oxford
nathancorbyn.com · 0000-0003-0513-8618

Owen Lynch owenlynchUniversity of Oxford
owenlynch.org · 0000-0002-3031-3695 · https://github.com/olynch · @olynch@mathstodon.xyz

Raphaël Millière raphaelmilliereAssociate Professor · University of Oxford
raphaelmilliere.com · 0000-0001-6965-6073

Richard Bird richardbirdUniversity of Oxford
PhD advisorMichael Bell
PhD studentsJeremy Gibbons
PhDImperial College London
cs.ox.ac.uk/people/richard.bird

Samson Abramsky samsonabramskyEmeritus Professor · University of Oxford
PhD studentsLuke Ong, Robin Piedeleu, Sam Speight
cs.ox.ac.uk/people/samson.abramsky

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

Yarin Gal yaringalProfessor of Machine Learning · University of Oxford
cs.ox.ac.uk/people/yarin.gal/website · https://github.com/yaringal

PhD alumni

Antonin Delpeuch antonindelpeuchOpen source developer
PhD advisorBob Coecke, Jamie Vicary, Sam Staton
PhDUniversity of Oxford
antonin.delpeuch.eu · https://github.com/wetneb · @pintoch@mamot.fr

Clare Martin claremartinPrincipal Lecturer · Oxford Brookes University
PhDUniversity of Oxford
Master’sUniversity of Oxford
UndergraduateUniversity of Oxford
0000-0002-3147-3746

Cole Comfort colecomfortPostdoc · Inria
PhDUniversity of Oxford
colecomfort.github.io · 0009-0000-3120-8822

Cristina Matache cristinamatachePostdoc, Laboratory for Foundations of Computer Science · University of Edinburgh
PhD advisorSam Staton
Postdoc advisorSam Lindley
PhDUniversity of Oxford
homepages.inf.ed.ac.uk/cmatache · 0009-0003-6036-6426

Guillaume Boisseau guillaumeboisseauResearch Engineer · Institut national de recherche en sciences et technologies du numérique
PhDUniversity of Oxford
0000-0001-5244-893X

Hsiang-Shang Ko hsiangshangkoInstitute of Information Science, Academia Sinica
PhD advisorJeremy Gibbons
Postdoc advisorZhenjiang Hu
PhDUniversity of Oxford
UndergraduateNational Taiwan University
josh-hs-ko.github.io · https://github.com/josh-hs-ko

Jeremy Gibbons jeremygibbonsProfessor of Computing · University of Oxford
PhD advisorRichard Bird
PhD studentsHsiang-Shang Ko
PhDUniversity of Oxford
cs.ox.ac.uk/people/jeremy.gibbons · 0000-0002-8426-9917 · @jer_gib@functional.cafe

Maaike Annebet Zwart maaikeannebetzwartPostdoc · IT University of Copenhagen
PhDUniversity of Oxford
Master’sUniversity of Amsterdam
UndergraduateRadboud University
maaikezwart.com · 0000-0002-0257-1574

Michael Paul Fourman michaelpaulfourmanProfessor of Computer Systems, School of Informatics · University of Edinburgh
PhD advisorDana Scott
PhD studentsJohn Longley
PhDUniversity of Oxford
homepages.inf.ed.ac.uk/mfourman

Nicolas Wu nicolaswuProfessor of Computer Science · Imperial College London
PhD studentsMatthew Pickering, Zhixuan Yang
PhDUniversity of Oxford
UndergraduateUniversity of Oxford
zenzike.com · 0000-0002-4161-985X

Robin Piedeleu robinpiedeleuResearch Fellow · University College London
PhD advisorBob Coecke, Samson Abramsky
PhDUniversity of Oxford
piedeleu.com · 0000-0002-3945-2704

Sam Speight samspeightResearch Fellow · University of Birmingham
PhD advisorSamson Abramsky
PhDUniversity of Oxford
Master’sCarnegie Mellon University
UndergraduateUniversity of Bristol
slspeight.github.io · 0009-0009-3706-9427 · https://github.com/slspeight

Master’s 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

Amanda Askell amandaaskellphilosopher working on finetuning and AI alignment · Anthropic
PhDNew York University
Master’sUniversity of Oxford
UndergraduateUniversity of Dundee
askell.io · https://github.com/aaskell

Carl-Friedrich Bödigheimer carlfriedrichbodigheimer
PhD advisorAlbrecht Dold
PhD studentsViktoriya Ozornova
PhDHeidelberg University
Master’sUniversity of Oxford
math.uni-bonn.de/people/cfb

Clare Martin claremartinPrincipal Lecturer · Oxford Brookes University
PhDUniversity of Oxford
Master’sUniversity of Oxford
UndergraduateUniversity of Oxford
0000-0002-3147-3746

Douglas Stebila douglasstebilaProfessor · University of Waterloo
PhDUniversity of Waterloo
Master’sUniversity of Oxford
douglas.stebila.ca/research · 0000-0001-9443-3170

John Launchbury johnlaunchburyChief Scientist · Galois, Inc.
PhDUniversity of Glasgow
Master’sUniversity of Oxford
UndergraduateUniversity of Oxford
0009-0009-7275-2811

Mario Román marioromanPostdoctoral researcher · Tallinn University of Technology
Master’sUniversity of Oxford
marioroman.xyz · 0000-0003-3158-1226

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

Undergraduate alumni

CB Aberle cbaberlePhD · Carnegie Mellon University
PhD advisorFrank Pfenning
UndergraduateUniversity of Oxford
cbaberle.com · 0009-0006-6271-2718

Clare Martin claremartinPrincipal Lecturer · Oxford Brookes University
PhDUniversity of Oxford
Master’sUniversity of Oxford
UndergraduateUniversity of Oxford
0000-0002-3147-3746

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

John Launchbury johnlaunchburyChief Scientist · Galois, Inc.
PhDUniversity of Glasgow
Master’sUniversity of Oxford
UndergraduateUniversity of Oxford
0009-0009-7275-2811

Matthew Pickering matthewpickeringSenior Haskell Consultant · Well-Typed LLP
PhD advisorNicolas Wu
UndergraduateUniversity of Oxford
mpickering.github.io

Nicolas Wu nicolaswuProfessor of Computer Science · Imperial College London
PhD studentsMatthew Pickering, Zhixuan Yang
PhDUniversity of Oxford
UndergraduateUniversity of Oxford
zenzike.com · 0000-0002-4161-985X

Formerly here

Antonio Norelli antonionorellipostdoc · MIT Computer Science and Artificial Intelligence Laboratory
PhD advisorEmanuele Rodola
Postdoc advisorDaniela Rus, Michael Bronstein
PhDSapienza University of Rome
Master’sSapienza University of Rome
UndergraduateSapienza University of Rome
noranta4.com

Chris Heunen chrisheunenProfessor of Quantum Programming · University of Edinburgh
PhD advisorBart Jacobs, Klaas Landsman
PhDRadboud University
Master’sRadboud University
homepages.inf.ed.ac.uk/cheunen · 0000-0001-7393-2640 · https://github.com/chrisheunen

Daniel Gratzer danielgratzerTenure-Track Assistant Professor · Aarhus University
PhD advisorLars Birkedal
Postdoc advisorLars Birkedal, Sam Staton
PhDAarhus University
UndergraduateCarnegie Mellon University
danielgratzer.com · 0000-0003-1944-0789 · jozefg

Dan Marsden danmarsdenAssistant professor · University of Nottingham
stringdiagram.com · 0000-0003-0579-0323

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

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

Joshua Tan joshuatanExecutive Director · Metagov
Master’sNew York University
UndergraduateYale University
joshuatan.com/research · 0000-0001-5317-4782

Martha Lewis marthalewisAssistant Professor · University of Amsterdam
0000-0002-9951-9413

Mehrnoosh Sadrzadeh mehrnooshsadrzadehReader · University College London
0000-0002-5863-7835

Nicolas Wu nicolaswuProfessor of Computer Science · Imperial College London
PhD studentsMatthew Pickering, Zhixuan Yang
PhDUniversity of Oxford
UndergraduateUniversity of Oxford
zenzike.com · 0000-0002-4161-985X

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

Owain Evans owainevansDirector · Truthful AI
PhDMassachusetts Institute of Technology
owainevans.github.io

Pedro H. Azevedo de Amorim pedrohaamorimLecturer · University of Bath
PhD advisorDexter Kozen
PhDCornell University
pedrohaa.github.io · 0000-0002-8338-8973

Philip Wadler philipwadlerPrincipal Research Fellow, Input Output · Input Output (IOHK)
PhD advisorArie Nicolaas Habermann, Guy L. Steele Jr.
PhD studentsWen Kokke
PhDCarnegie Mellon University
UndergraduateStanford University
homepages.inf.ed.ac.uk/wadler · 0000-0001-7619-6378

Ralf Hinze ralfhinzeProfessor · RPTU Kaiserslautern-Landau
PhD advisorArmin Bernd Cremers
PhD studentsCass Alexandru, Niels van der Weide
PhDUniversity of Bonn
pl.cs.uni-kl.de/homepage/en/staff/RalfHinze · 0000-0001-5678-0286

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
university-of-oxford institution entries/institutions/university-of-oxford.hel