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
- Guillaume MelquiondInria, University Paris SaclayVerified email at inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayVerified 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