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
- Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
- 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
- Giovanni CarùUniversity of OxfordVerified email at cs.ox.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca