Get my own profile
Public access
View all24 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
- Timon GehrETH ZürichVerified email at inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowVerified email at latticeflow.ai
- Veselin RaychevETH ZurichVerified email at inf.ethz.ch
- Gagandeep SinghAssistant Professor, Department of Computer Science, UIUCVerified email at illinois.edu
- Pavol BielikETH ZurichVerified email at inf.ethz.ch
- Markus PüschelProfessor of Computer Science, ETH Zurich, SwitzerlandVerified email at inf.ethz.ch
- Dana Drachsler-CohenTechnionVerified email at ee.technion.ac.il
- Matthew MirmanETH ZürichVerified email at inf.ethz.ch
- Laurent VanbeverAssociate Professor, ETH ZürichVerified email at ethz.ch
- Andrei Marian DanHitachi Energy ResearchVerified email at hitachienergy.com
- Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of LondonVerified email at qmul.ac.uk
- Dimitar K. DimitrovSenior Researcher, INSAITVerified email at insait.ai
- David F. BaconGoogleVerified email at google.com
- Maged M MichaelConcurrent AlgorithmsVerified email at acm.org
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
- Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
- Andreas KrauseProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
- Michael KupersteinVerified email at google.com
- Raghavan RamanCruiseVerified email at getcruise.com
Follow
Martin Vechev
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;
Verified email at inf.ethz.ch - Homepage