Get my own profile
Public access
View all6 articles
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
- Laurent VanbeverAssociate Professor, ETH ZürichVerified email at ethz.ch
- Matthew MirmanETH ZürichVerified email at inf.ethz.ch
- David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
- Veselin RaychevETH ZurichVerified email at inf.ethz.ch
- Andrei Marian DanHitachi Energy ResearchVerified email at hitachienergy.com
- Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
- Marco PistoiaHead of Global Technology Applied Research, Global Head of Quantum Computing, JPMorgan Chase & Co.Verified email at jpmchase.com
- Omer TrippAmazonVerified email at google.com
- Pietro FerraraAssociate Professor, Università Ca' Foscari di Venezia, ItalyVerified email at unive.it
- Vincent LendersCyber-Defence Campus, armasuisseVerified email at lenders.ch
- Marco GuarnieriAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
- Rumen PaletovVerified email at twitter.com
- Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu
- Wei JinGoogle IncVerified email at gatech.edu
- Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
- Saurabh SinhaIBM ResearchVerified email at us.ibm.com
- Sasa RadomirovicUniversity of SurreyVerified email at surrey.ac.uk
- Karl WüstMysten LabsVerified email at mystenlabs.com