Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu
Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
ArvindMITVerified email at mit.edu
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Danel AhmanInstitute of Computer Science, University of TartuVerified email at ut.ee
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Nick GiannarakisAmazon Web ServicesVerified email at amazon.com
Peng WangMIT CSAILVerified email at csail.mit.edu
Dustin JamnerMassachusetts Institute of TechnologyVerified email at mit.edu
Monal NarasimhamurthyUniversity of Colorado BoulderVerified email at colorado.edu
Guido MartínezCIFASIS-CONICETVerified email at cifasis-conicet.gov.ar
Samuel MaddenMITVerified email at csail.mit.edu
Pierre CourtieuConservatoire des Arts et Métiers - Laboratory: CÉDRICVerified email at cnam.fr
Stella LauMITVerified email at mit.edu
Andres ErbsenMIT CSAILVerified email at mit.edu
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu