Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
François PottierInria ParisVerified email at inria.fr
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Xavier DenisETHZVerified email at lri.fr
Arthur CharguéraudInriaVerified email at inria.fr
David PichardieProfessor, ENS Rennes, FranceVerified email at inria.fr
Sandrine BlazyProfessor of Computer Science, University of RennesVerified email at irisa.fr
Claude MarchéSenior Research Scientist, InriaVerified email at inria.fr
Guillaume MelquiondInria, University Paris SaclayVerified email at inria.fr
Sylvie BoldoInria, LMF, University Paris SaclayVerified email at inria.fr
Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisVerified email at inria.fr
Marie-Karelle RIVIERESaryga
Armaël GuéneauAarhus University