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
- Omar Montano RivasProfessor of Computer Science, Universidad Politecnica de San Luis PotosiVerified email at upslp.edu.mx
- Krisztian BalogUniversity of Stavanger & Google ResearchVerified email at uis.no
- Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no