Get my own profile
Public access
View all26 articles
1 article
available
not available
Based on funding mandates
Co-authors
Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Siddharth KrishnaIndependent ResearcherVerified email at cs.nyu.edu
Viktor KunčakEPFLVerified email at epfl.ch
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Ruzica PiskacAssociate ProfessorVerified email at yale.edu
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerified email at courant.nyu.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityVerified email at cs.nyu.edu
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
Zvonimir PavlinovicPhD student, New York UniversityVerified email at cs.nyu.edu
martin rinardMITVerified email at lcs.mit.edu
vasu singhVerified email at bmw.de
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Tim KingGoogle IncVerified email at google.com
Anmol SinghBMW GroupVerified email at bmw.de
Michael WalfishProfessor of Computer Science, NYUVerified email at cs.nyu.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk