Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Nikos GorogiannisFacebook LondonVerified email at fb.com
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
- Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
- Reuben N. S. RoweRoyal Holloway University of LondonVerified email at rhul.ac.uk
- Jules VillardImperial College LondonVerified email at imperial.ac.uk
- Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
- Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
- Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
- Juan Antonio Navarro PérezGoogleVerified email at google.com
- Rajeev GoreFaculty of Information Technology, Monash University, AustraliaVerified email at monash.edu
- John WickersonImperial College LondonVerified email at imperial.ac.uk
- Diana CostaLASIGE, Informática, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt
- Paul BrunetUniversité Paris-Est Créteil - ÉPISENVerified email at u-pec.fr
- Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
- Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
- Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
- Oda YukihiroSpecially appointed research fellow, Tohoku UniversityVerified email at tohoku.ac.jp
- Luke GeesonUniversity College LondonVerified email at cs.ucl.ac.uk
- Tyler SorensenAssistant Professor, UC Santa CruzVerified email at ucsc.edu
- Lee SmithRetiredVerified email at acm.org
Follow
James Brotherston
Professor of Logic and Computation, University College London
Verified email at ucl.ac.uk - Homepage