Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nithum ThainGoogle BrainVerified email at google.com
Jeffrey SorensenGoogle, Inc.Verified email at ieee.org
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Lucy VassermanGoogleVerified email at google.com
John PavlopoulosAthens University of Economics and BusinessVerified email at aueb.gr
Ion AndroutsopoulosProfessor, Department of Informatics, Athens University of Economics and BusinessVerified email at aueb.gr
Dario TaraborelliChan Zuckerberg InitiativeVerified email at chanzuckerberg.com
Ross DuncanLecturer at University of StrathclydeVerified email at strath.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Yiqing HuaCornell TechVerified email at cornell.edu
Ellery WulczynStaff Software Engineer, Google ResearchVerified email at google.com
Léo LaugierPostodoctoral researcherVerified email at epfl.ch
Cristian Danescu-Niculescu-MizilAssociate Professor, Cornell UniversityVerified email at cs.cornell.edu
Jonathan P. ChangPhD Candidate, Cornell UniversityVerified email at cornell.edu
Justine ZhangCornell UniversityVerified email at cornell.edu
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Asma GhandehariounResearch Scientist, Google ResearchVerified email at google.com
Krisztian BalogUniversity of Stavanger & Google ResearchVerified email at uis.no
Filip RadlinskiGoogleVerified email at google.com