Crea el meu perfil
Accés públic
Mostra-ho tot3 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Correu electrònic verificat a inf.ethz.ch
- Chris HarrelsonSoftware Engineer, GoogleCorreu electrònic verificat a google.com
- Fabien VigerGoogleCorreu electrònic verificat a google.com
- Hannah BastProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
- Robert GeisbergerGoogleCorreu electrònic verificat a google.com
- Andreas KrauseProfessor of Computer Science, ETH ZurichCorreu electrònic verificat a inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowCorreu electrònic verificat a latticeflow.ai
- Eran YahavTechnion, IsraelCorreu electrònic verificat a cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideCorreu electrònic verificat a sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAITCorreu electrònic verificat a insait.ai
- Madanlal MusuvathiMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Todd MytkowiczMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Anders MøllerProfessor, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Max SchaeferGitHubCorreu electrònic verificat a github.com
- Preslav NakovMBZUAICorreu electrònic verificat a mbzuai.ac.ae