Mijn eigen profiel maken
Openbare toegang
Alles bekijken2 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Cédric FournetMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Karthikeyan BhargavanINRIAGeverifieerd e-mailadres voor inria.fr
- Santiago Zanella-BéguelinMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Antoine Delignat-LavaudMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPGeverifieerd e-mailadres voor mpi-sp.org
- Jonathan ProtzenkoMicrosoft ResearchGeverifieerd e-mailadres voor ens-lyon.org
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtGeverifieerd e-mailadres voor inria.fr
- Pierre-Yves StrubResearch Scientist, PQShieldGeverifieerd e-mailadres voor strub.nu
- Markulf KohlweissUniveristy of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Georges GonthierPrincipal Researcher, Microsoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Gavin BiermanOracleGeverifieerd e-mailadres voor oracle.com
- Danel AhmanInstitute of Computer Science, University of TartuGeverifieerd e-mailadres voor ut.ee
- Avik ChaudhuriSoftware Engineer, MetaGeverifieerd e-mailadres voor meta.com
- Bryan ParnoCarnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
- Matteo MaffeiFull Professor at TU WienGeverifieerd e-mailadres voor tuwien.ac.at
- Samin IshtiaqRiverlaneGeverifieerd e-mailadres voor riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinGeverifieerd e-mailadres voor utexas.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
- Piotr MardzielindependentGeverifieerd e-mailadres voor cmu.edu
- Rob JohnsonVMware ResearchGeverifieerd e-mailadres voor vmware.com