Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Josh BerdineFacebookVerified email at fb.com
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Daniel KroeningAmazonVerified email at amazon.com
Samin IshtiaqRiverlaneVerified email at riverlane.com
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Mooly SagivTel Aviv UniversityVerified email at acm.org
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Stephen MagillSonatype, Inc.Verified email at sonatype.com
Marc BrockschmidtResearch Scientist, Google DeepMindVerified email at google.com
Nancy A. DayUniversity of WaterlooVerified email at uwaterloo.ca