Christine Paulin-Mohring
IdRefMots clés
FR |
EN
Théorie des types
Méthodes formelles (informatique)
Théorie de la démonstration
Preuve de programmes
Coq
Assistants de preuve
Isomorphisme de Curry-Howard
Système Coq
Cryptographie
Algorithmique répartie
Protocoles de population
Tolérance aux défaillances
Auto-stabilisation
Collecte de données
Consensus
Élection de leader
Réplication
Oracles
Systèmes à paramètres répartis
Tolérance aux fautes (informatique)