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 DistefanoAnthropic 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