Get my own profile
Public access
View all27 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
Jonathan KochemsUniversity of OxfordVerified email at worc.ox.ac.uk
Emanuele D'OsualdoUniversity of KonstanzVerified email at uni.kn
Bruce ShepherdUniversity of British ColumbiaVerified email at cs.ubc.ca
Gordon WilfongBell LabsVerified email at nokia-bell-labs.com
Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
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
Dominik WagnerResearch Fellow, NTU SingaporeVerified email at ntu.edu.sg
Fabian ZaiserUniversity of OxfordVerified 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
Carol MakUniversity of OxfordVerified email at cs.ox.ac.uk
Kazuyuki AsadaTohoku UniversityVerified email at riec.tohoku.ac.jp
Follow![Luke Ong](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=gNFel3QAAAAJ&citpid=3)
Luke Ong
Distinguished University Professor, Nanyang Technological University
Verified email at ntu.edu.sg - Homepage