Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verifierad e-postadress på inf.ethz.ch
- Chris HarrelsonSoftware Engineer, GoogleVerifierad e-postadress på google.com
- Fabien VigerGoogleVerifierad e-postadress på google.com
- Hannah BastProfessor of Computer Science, University of FreiburgVerifierad e-postadress på informatik.uni-freiburg.de
- Robert GeisbergerGoogleVerifierad e-postadress på google.com
- Andreas KrauseProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowVerifierad e-postadress på latticeflow.ai
- Eran YahavTechnion, IsraelVerifierad e-postadress på cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerifierad e-postadress på sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAITVerifierad e-postadress på insait.ai
- Madanlal MusuvathiMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Todd MytkowiczMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Anders MøllerProfessor, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Max SchaeferGitHubVerifierad e-postadress på github.com
- Preslav NakovMBZUAIVerifierad e-postadress på mbzuai.ac.ae