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 BerdineSkipLabsVerified email at berdine.net
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Peter O'HearnUniversity 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 DistefanoAnthropic 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
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
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