Get my own profile

### Co-authors

- Nikos GorogiannisFacebook, University of MiddlesexVerified email at mdx.ac.uk
- Reuben N. S. RoweRoyal Holloway University of LondonVerified email at rhul.ac.uk
- Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
- Jules VillardImperial College LondonVerified email at imperial.ac.uk
- Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
- Carsten FuhsLecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
- Juan Antonio Navarro PérezGoogleVerified email at google.com
- Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
- Rajeev GoreProfessor of Computer Science, Australian National UniversityVerified email at anu.edu.au
- Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
- Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
- Aquinas HoborAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
- John WickersonImperial College LondonVerified email at imperial.ac.uk

James Brotherston

Reader in Logic and Computation at University College London

Verified email at ucl.ac.uk - Homepage