Institution. Imperial College London

link · imperial.ac.uk · ROR

People

Alessandra Russo alessandrarussoProfessor in Applied Computational Logic · Imperial College London
wp.doc.ic.ac.uk/arusso · 0000-0002-3318-8711

Donnacha Oisín Kidney donnachaoisinkidneyPostdoc, functional programming group · Imperial College London
doisinkidney.com · 0000-0003-4952-7359 · @oisdk@mathstodon.xyz

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

PhD alumni

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

Marie Tolkiehn marietolkiehnData Science Manager in Research for Biophysics · Beiersdorf (Hamburg)
PhDImperial College London
Master’sImperial College London
UndergraduateHAW Hamburg
sites.google.com/view/tolkiehn/home · 0000-0002-4322-1044

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

Zhixuan Yang zhixuanyangLecturer · University of Exeter
PhD advisorNicolas Wu
PhDImperial College London
Master’sNational Institute of Informatics, SOKENDAI (The Graduate University for Advanced Studies)
UndergraduatePeking University
yangzhixuan.github.io · 0000-0001-5573-3357 · yangzhixuan · @zyang@mathstodon.xyz

Master’s alumni

Konstantinos Mamouras konstantinosmamourasAssociate Professor, Department of Computer Science · Rice University
PhD advisorDexter Kozen
Postdoc advisorRajeev Alur
PhDCornell University
Master’sImperial College London
kmamouras.github.io · 0000-0003-1209-7738

Marie Tolkiehn marietolkiehnData Science Manager in Research for Biophysics · Beiersdorf (Hamburg)
PhDImperial College London
Master’sImperial College London
UndergraduateHAW Hamburg
sites.google.com/view/tolkiehn/home · 0000-0002-4322-1044

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

Undergraduate alumni

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

Formerly here

Adrian Francalanza adrianfrancalanzaProfessor · University of Malta
PhDUniversity of Sussex
staff.um.edu.mt/afra1 · 0000-0003-3829-7391

Bernardo Toninho bernardotoninhoAssociate Professor · University of Lisbon
PhD advisorFrank Pfenning, Luís Caires
PhDUniversidade Nova de Lisboa
Master’sCarnegie Mellon University
ctp.di.fct.unl.pt/~btoninho · 0000-0002-0746-7514 · https://github.com/btoninho

Marco Paviotti marcopaviottiLecturer · University of Kent
mpaviotti.github.io · 0000-0002-1513-0807

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

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

Zhixuan Yang zhixuanyangLecturer · University of Exeter
PhD advisorNicolas Wu
PhDImperial College London
Master’sNational Institute of Informatics, SOKENDAI (The Graduate University for Advanced Studies)
UndergraduatePeking University
yangzhixuan.github.io · 0000-0001-5573-3357 · yangzhixuan · @zyang@mathstodon.xyz
imperial-college-london institution entries/institutions/imperial-college-london.hel