Get my own profile
Public access
View all1 article
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
Timon GehrETH ZürichVerified email at inf.ethz.ch
Petar TsankovCo-founder & CEO, LatticeFlowVerified email at latticeflow.ai
Gagandeep SinghAssistant Professor, Department of Computer Science, UIUCVerified email at illinois.edu
Dana Drachsler-CohenTechnionVerified email at ee.technion.ac.il
Markus PüschelProfessor of Computer Science, ETH Zurich, SwitzerlandVerified email at inf.ethz.ch
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Maximilian BaaderETH ZurichVerified email at inf.ethz.ch
Dimitar K. DimitrovSenior Researcher, INSAITVerified email at insait.ai
Gary L. MillerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Todd PhillipsGoogle AdsVerified email at google.com