Institution. University of Edinburgh

link · ed.ac.uk · ROR

People

Brian Campbell briancampbellUniversity of Edinburgh
research.ed.ac.uk/en/persons/6b2472cb-5094-4a65-95be-24ea7e87dd6b · 0000-0001-6941-5034

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

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

David Aspinall davidaspinallProfessor · University of Edinburgh
PhD advisorDonald Sannella
PhD studentsBob Atkey, Robert Atkey
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/da · 0000-0002-6073-9013

Denis Emelin denisemelinResearcher in AI and NLP · University of Edinburgh
PhD advisorIvan Titov, Rico Sennrich
PhDUniversity of Edinburgh
Master’sSaarland University
UndergraduateUniversity of Tübingen
demelin.github.io · https://github.com/demelin

Donald Sannella donaldsannellaEmeritus Professor of Computer Science · University of Edinburgh
PhD advisorRodney Martineau Burstall
PhD studentsDavid Aspinall
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/dts · 0000-0003-4520-8924

Gordon Plotkin gordonplotkinProfessor · University of Edinburgh
PhD studentsGlynn Winskel, John Longley, Marcelo P. Fiore, Ohad Kammar
homepages.inf.ed.ac.uk/gdp

Ivan Titov ivantitovUniversity of Edinburgh
PhD advisorJames Henderson
Postdoc advisorDan Roth
PhD studentsDenis Emelin
PhDUniversity of Geneva
Master’sSt. Petersburg State Polytechnical University
UndergraduateSt. Petersburg State Polytechnical University
ivan-titov.org

John C. Baez johncbaezMaxwell Fellow of Public Engagement · University of Edinburgh
PhD advisorIrving Ezra Segal
PhD studentsJoe Moeller
PhDMassachusetts Institute of Technology
UndergraduatePrinceton University
math.ucr.edu/home/baez · 0000-0002-0609-9836 · @johncarlosbaez@mathstodon.xyz

John Longley johnlongleyUniversity of Edinburgh
PhD advisorGordon Plotkin, Michael Paul Fourman
PhD studentsDaniel Hillerström
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/jrl

Malin Altenmüller malinaltenmullerUniversity of Edinburgh
maltenmuller.github.io · 0009-0009-0681-4973

Mark Steedman marksteedmanProfessor of Cognitive Science, School of Informatics · University of Edinburgh
PhD advisorHugh Christopher Longuet-Higgins
PhD studentsSiva Reddy
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/steedman

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

Mirella Lapata mirellalapataProfessor in computer science, School of Informatics · University of Edinburgh
PhD advisorAlex Lascarides
PhD studentsSiva Reddy
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/mlap

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

Sam Lindley samlindleyReader in Programming Language Design and Implementation · University of Edinburgh
PhD advisorIan Stark, Stephen David Gilmore
PhD studentsDaniel Hillerström
PostdocsCristina Matache
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/slindley · 0000-0002-1360-4714

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

Wen Kokke wenkokkeUniversity of Edinburgh
PhD advisorPhilip Wadler
PhDUniversity of Edinburgh
wen.works · 0000-0002-1662-0381 · @wen@types.pl

PhD alumni

Bob Atkey bobatkeyUniversity of Strathclyde
PhD advisorDavid Aspinall, Ian Stark
PhD studentsAndre Videla
PhDUniversity of Edinburgh
bentnib.org · https://github.com/bobatkey

Conor McBride conormcbrideReader · University of Strathclyde
PhD advisorRodney Martineau Burstall
PhD studentsAndre Videla
PhDUniversity of Edinburgh
personal.cis.strath.ac.uk/conor.mcbride · 0000-0003-1487-0886 · @pigworker@types.pl

Danel Ahman danelahmanAssociate Professor · University of Tartu
PhDUniversity of Edinburgh
danel.ahman.ee · 0000-0001-6595-2756 · danelahman

Daniel Hillerström danielhillerstromSenior Software Engineer · Category Labs
PhD advisorJohn Longley, Sam Lindley
PhDUniversity of Edinburgh
Master’sUniversity of Edinburgh
UndergraduateAalborg University
dhil.net · 0000-0003-4730-9315 · https://github.com/dhil · @dhil@mathstodon.xyz

David Aspinall davidaspinallProfessor · University of Edinburgh
PhD advisorDonald Sannella
PhD studentsBob Atkey, Robert Atkey
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/da · 0000-0002-6073-9013

Denis Emelin denisemelinResearcher in AI and NLP · University of Edinburgh
PhD advisorIvan Titov, Rico Sennrich
PhDUniversity of Edinburgh
Master’sSaarland University
UndergraduateUniversity of Tübingen
demelin.github.io · https://github.com/demelin

Donald Sannella donaldsannellaEmeritus Professor of Computer Science · University of Edinburgh
PhD advisorRodney Martineau Burstall
PhD studentsDavid Aspinall
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/dts · 0000-0003-4520-8924

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

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

James McKinna jamesmckinnaHeriot-Watt University
PhD advisorRodney Martineau Burstall
PhDUniversity of Edinburgh
hw.ac.uk/profiles/uk/school/macs/faculty/james-mckinna · 0000-0001-6745-2560

John Darlington johndarlington
PhD advisorRodney Martineau Burstall
PhD studentsLuke Ong
PhDUniversity of Edinburgh

John Longley johnlongleyUniversity of Edinburgh
PhD advisorGordon Plotkin, Michael Paul Fourman
PhD studentsDaniel Hillerström
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/jrl

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

Mark Steedman marksteedmanProfessor of Cognitive Science, School of Informatics · University of Edinburgh
PhD advisorHugh Christopher Longuet-Higgins
PhD studentsSiva Reddy
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/steedman

Maurice Bailleu mauricebailleuSenior Researcher · Huawei Technologies
PhDUniversity of Edinburgh
0009-0005-8887-4101

Mirella Lapata mirellalapataProfessor in computer science, School of Informatics · University of Edinburgh
PhD advisorAlex Lascarides
PhD studentsSiva Reddy
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/mlap

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

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

Robert Atkey robertatkeySenior Lecturer · University of Strathclyde
PhD advisorDavid Aspinall
PhDUniversity of Edinburgh
bentnib.org · 0000-0002-4414-5047 · bobatkey · @bentnib@types.pl

Sam Lindley samlindleyReader in Programming Language Design and Implementation · University of Edinburgh
PhD advisorIan Stark, Stephen David Gilmore
PhD studentsDaniel Hillerström
PostdocsCristina Matache
PhDUniversity of Edinburgh
homepages.inf.ed.ac.uk/slindley · 0000-0002-1360-4714

Siva Reddy sivareddyAssociate Professor · McGill University
PhD advisorMark Steedman, Mirella Lapata
Postdoc advisorChristopher D. Manning
PhDUniversity of Edinburgh
sivareddy.in · https://github.com/sivareddyg

Vera Demberg veradembergProfessor of Computer Science and Computational Linguistics · Saarland University
PhDUniversity of Edinburgh
Master’sUniversity of Edinburgh

Wen Kokke wenkokkeUniversity of Edinburgh
PhD advisorPhilip Wadler
PhDUniversity of Edinburgh
wen.works · 0000-0002-1662-0381 · @wen@types.pl

Master’s alumni

Daniel Hillerström danielhillerstromSenior Software Engineer · Category Labs
PhD advisorJohn Longley, Sam Lindley
PhDUniversity of Edinburgh
Master’sUniversity of Edinburgh
UndergraduateAalborg University
dhil.net · 0000-0003-4730-9315 · https://github.com/dhil · @dhil@mathstodon.xyz

Vera Demberg veradembergProfessor of Computer Science and Computational Linguistics · Saarland University
PhDUniversity of Edinburgh
Master’sUniversity of Edinburgh

Formerly here

Craig McLaughlin craigmclaughlinSenior Software Engineer · Category Labs
cmcl.github.io · 0000-0002-1323-8566 · https://github.com/cmcl

Eric Griffis ericgriffisPhD student · University of Michigan
PhD advisorCyrus Omar
Master’sUniversity of California, Los Angeles
UndergraduateUniversity of California, Los Angeles
dedbox.github.io · 0000-0003-1693-6172 · https://github.com/dedbox

Jelle Zuidema jellezuidemaUniversity of Amsterdam
PhD studentsDieuwke Hupkes, Jaap Jumelet
staff.fnwi.uva.nl/w.zuidema

J. Garrett Morris jgarrettmorrisAssistant professor · University of Iowa
PhDPortland State University
jgbm.github.io · 0000-0002-3992-1080

Joseph Eremondi josepheremondiAssistant Professor · University of Regina
PhDUniversity of British Columbia
eremondi.com · 0000-0002-9631-4826

Liam O’Connor liamoconnorSenior Lecturer · Australian National University
PhDUNSW Sydney
UndergraduateUNSW Sydney
liamoc.net · 0000-0003-2765-4269

Luca Arnaboldi lucaarnaboldiAssistant Professor · University of Birmingham
PhDNewcastle University
UndergraduateNewcastle University
birmingham.ac.uk/staff/profiles/computer-science/academic-staff/arnaboldi-luca · 0000-0002-0808-2456

Luke Zettlemoyer lukezettlemoyerUniversity of Washington
PhD advisorLeslie Pack Kaelbling, Michael Collins
PhD studentsLuheng He
PostdocsTao Yu
PhDMassachusetts Institute of Technology
cs.washington.edu/people/faculty/lsz

Michel Steuwer michelsteuwerProfessor, Chair of Compilers and Programming Languages · Technische Universität Berlin
PhDUniversity of Münster
Master’sUniversity of Münster
michel.steuwer.info · 0000-0001-5048-0741

Nicolas Behr nicolasbehrChargé de recherche (CR) CNRS · Université Paris Cité
PhDHumboldt-Universität zu Berlin
Master’sHumboldt-Universität zu Berlin
nicolasbehr.com · 0000-0002-8738-5040

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

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

Pramod Bhatotia pramodbhatotiaFull Professor and Chair of Computer Systems · Technical University of Munich
PhDMax Planck Institute for Software Systems
dse.in.tum.de/bhatotia · 0000-0002-3220-5735

Robin Kaarsgaard robinkaarsgaardAssociate professor · University of Southern Denmark
PhDUniversity of Copenhagen
Master’sUniversity of Copenhagen
UndergraduateUniversity of Copenhagen
rkaarsgaard.github.io · 0000-0002-7672-799X · https://github.com/rkaarsgaard

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

Tobias Grosser tobiasgrosserAssociate Professor · University of Cambridge
PostdocsLéo Stefanesco
PhDEcole Normale Superieure
UndergraduateUniversity of Passau
grosser.science · 0000-0003-3874-6003
university-of-edinburgh institution entries/institutions/university-of-edinburgh.hel