Get my own profile
Co-authors
Josh BerdineFacebookVerified email at fb.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Peter O'HearnFacebook and University College LondonVerified email at ucl.ac.uk
Nir PitermanAssociate Professor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Samin IshtiaqSamsung AIVerified email at samsung.com
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Mooly SagivTel Aviv UniversityVerified email at acm.org
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Carsten FuhsLecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Stephen MagillGalois, Inc.Verified email at galois.com
Marc BrockschmidtResearcher, Microsoft ResearchVerified email at microsoft.com