Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Karthikeyan BhargavanINRIAVerified email at inria.fr
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerified email at inria.fr
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Benjamin BeurdoucheMozilla (prev. INRIA and ENS Paris)Verified email at ens.fr
Sebastian BurckhardtMicrosoft ResearchVerified email at microsoft.com
François PottierInria ParisVerified email at inria.fr
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
Peng WangMIT CSAILVerified email at csail.mit.edu
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Denis MerigouxInriaVerified email at inria.fr
Guido MartínezCIFASIS-CONICETVerified email at cifasis-conicet.gov.ar
Marina PolubelovaINRIA ParisVerified email at inria.fr