Get my own profile
Public access
View all1 article
1 article
available
not available
Based on funding mandates
Co-authors
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Karthikeyan BhargavanINRIAVerified email at inria.fr
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerified email at inria.fr
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
Michael HicksProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Gavin BiermanOracleVerified email at oracle.com
Avik ChaudhuriSoftware Engineer, FacebookVerified email at fb.com
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Matteo MaffeiFull Professor at TU WienVerified email at tuwien.ac.at
Piotr MardzielScientist, TrueraVerified email at cmu.edu
Samin IshtiaqRiverlaneVerified email at riverlane.com
Ashay RaneGraduate Research Assistant, The University of Texas at AustinVerified email at utexas.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk