Get my own profile
Co-authors
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Karthikeyan BhargavanINRIAVerified email at inria.fr
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
Owen ArdenAssistant Professor of Computer Science UCSCVerified email at ucsc.edu
Anitha (Boyapati) Gollamudi
Verified email at g.harvard.edu - Homepage