Get my own profile
Public access
View all21 articles
1 article
available
not available
Based on funding mandates
Co-authors
Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Rui Soares BarbosaInternational Iberian Nanotechnology LaboratoryVerified email at inl.int
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Shane MansfieldQuandelaVerified email at quandela.com
Adam BrandenburgerNew York UniversityVerified email at stern.nyu.edu
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Pasquale MalacariaProfessor, Queen Mary University of LondonVerified email at qmul.ac.uk
Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Nihil ShahDPhil Candidate, University of OxfordVerified email at cs.ox.ac.uk
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonVerified email at ucl.ac.uk
Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Luca ReggioDepartment of Computer Science, University College LondonVerified email at ucl.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Giovanni CarùUniversity of OxfordVerified email at cs.ox.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca