Get my own profile
Public access
View all18 articles
2 articles
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
Viktor KunčakEPFLVerified email at epfl.ch
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Ruzica PiskacAssociate ProfessorVerified email at yale.edu
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerified email at courant.nyu.edu
vasu singhVerified email at bmw.de
Siddharth KrishnaMicrosoft ResearchVerified email at cs.nyu.edu
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
martin rinardMITVerified email at lcs.mit.edu
Zvonimir PavlinovicPhD student, New York UniversityVerified 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
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Josh BerdineFacebookVerified email at fb.com
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Tim KingGoogle IncVerified email at google.com