- Citations, last 5 years
- 958
- Works, last 5 years
- 417
- h-index
- 24
- Scientists listed
- 0
- Grants since 2016
- 2
Departments and units
- TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations Research facility
- DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique Research facility
- QUACS: Structures de calcul quantique Research facility