Get my own profile
Co-authors
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
Daniel KroeningAmazonVerified email at amazon.com
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
John WickersonImperial College LondonVerified email at imperial.ac.uk
Albert CohenGoogle AIVerified email at google.com
Philipp RuemmerAssociate Professor (Docent) in Computer Science, Uppsala UniversityVerified email at it.uu.se
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Sven VerdoolaegePolly LabsVerified email at inria.fr
Tobias GrosserUniversity of EdinburghVerified email at ed.ac.uk
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Pantazis DeligiannisMicrosoft ResearchVerified email at microsoft.com
Riyadh BaghdadiPostdoctoral researcher at MITVerified email at mit.edu
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Alexander KaiserUniversity of OxfordVerified email at cs.ox.ac.uk
Paul KellyProfessor of Software Technology, Imperial College LondonVerified email at imperial.ac.uk
Ulysse BeaugnonGoogle ResearchVerified email at google.com
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Lee HowesQualcommVerified email at qti.qualcomm.com
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Alastair Donaldson
Verified email at imperial.ac.uk - Homepage