Get my own profile
Co-authors
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Shaz QadeerSoftware Engineer, MetaVerified email at fb.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Nikos GorogiannisFacebook LondonVerified email at fb.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Konstantinos Kryptos ChalkiasChief Cryptographer at Mysten Labs, ex-Facebook Cryptography LeadVerified email at mystenlabs.com
Timothy ZakianFacebook, University of OxfordVerified email at cs.ox.ac.uk
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Alexandra Gendreau ChakarovAssistant Professor of Computer Science and Science Education - San José State UniversityVerified email at colorado.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Rakesh Verma, Rakesh M. Verma, RM...Professor of Computer Science, University of HoustonVerified email at uh.edu
Atif MemonProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Tom YehUniversity of Colorado BoulderVerified email at colorado.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Oded PadonVMware ResearchVerified email at vmware.com