Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verified email at inf.ethz.ch
Chris HarrelsonSoftware Engineer, GoogleVerified email at google.com
Fabien VigerGoogleVerified email at google.com
Hannah BastProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Robert GeisbergerGoogleVerified email at google.com
Andreas KrauseProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Petar TsankovCo-founder & CEO, LatticeFlowVerified email at latticeflow.ai
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Dimitar K. DimitrovSenior Researcher, INSAITVerified email at insait.ai
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Todd MytkowiczMicrosoft ResearchVerified email at microsoft.com
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerified email at cs.au.dk
Max SchaeferGitHubVerified email at github.com
Preslav NakovMohamed bin Zayed University of Artificial Intelligence (MBZUAI)Verified email at mbzuai.ac.ae