Get my own profile
Public access
View all10 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
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
John WickersonImperial College LondonVerified email at imperial.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 YukihiroPhD. Student of Informatics, SOKENDAIVerified email at nii.ac.jp
Follow![James Brotherston](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=TmQ8BA8AAAAJ&citpid=3)
James Brotherston
Professor of Logic and Computation, University College London
Verified email at ucl.ac.uk - Homepage