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