Get my own profile
Public access
View all22 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Ruzica PiskacProfessorVerified email at yale.edu
vasu singhVerified email at bmw.de
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Josef WidderInformal SystemsVerified email at informal.systems
Shaz QadeerMicrosoftVerified email at microsoft.com
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Ankush DesaiPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Phillip Stanley-MarbellUniversity of CambridgeVerified email at eng.cam.ac.uk
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
Sicun GaoUCSDVerified email at ucsd.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at