Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Martin VechevProfessor of Computer Science, ETH ZurichVerified 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
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Petar TsankovSenior researcher, ETH ZurichVerified email at inf.ethz.ch
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Dimitar DimitrovChief Reserach Officer, ChainSecurityVerified email at inf.ethz.ch
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 NakovMBZUAIVerified email at mbzuai.ac.ae