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