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
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
François PottierInria ParisVerified email at inria.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
David PichardieProfessor, ENS Rennes, FranceVerified email at inria.fr
Sandrine BlazyProfessor of Computer Science, University of RennesVerified email at irisa.fr
Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFVerified email at lri.fr
Guillaume MelquiondInria, University Paris SaclayVerified email at inria.fr
Sylvie BoldoInria, LMF, University Paris SaclayVerified email at inria.fr
Arthur CharguéraudInriaVerified email at inria.fr
Claude MarchéSenior Research Scientist, InriaVerified 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