Get my own profile
Public access
View all24 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Olivier SerreIRIF (Université de Paris & CNRS)Verified email at cnrs.fr
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Emanuele D'OsualdoImperial College LondonVerified email at imperial.ac.uk
Jonathan KochemsUniversity of OxfordVerified email at worc.ox.ac.uk
Naoki KobayashiUniversity of TokyoVerified email at is.s.u-tokyo.ac.jp
Bruce ShepherdUniversity of British ColumbiaVerified email at cs.ubc.ca
Gordon WilfongBell LabsVerified email at nokia-bell-labs.com
Arnaud CarayolCNRS & Université Paris EstVerified email at univ-mlv.fr
Andrew D. KerAssociate Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
William BlumMicrosoftVerified email at microsoft.com
C StewartIndependentVerified email at linearity.org
Kazuyuki AsadaTohoku UniversityVerified email at riec.tohoku.ac.jp
Dominik WagnerPhD student in Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Zhenhua DuanProfessor of Computer Science, Xidian University, ChinaVerified email at mail.xidian.edu.cn
Carol MakUniversity of OxfordVerified email at cs.ox.ac.uk
Follow