Accueil > Qui sommes-nous ? > Membres et productions scientifiques > Les membres doctorants

OLIVA Faustine - Contrat doctoral *



Contrat doctoral (Université d’Aix-Marseille - ED 356)
Bourse ministérielle (01/09/2022-31/08/2025)
Contact : faustine.oliva[at]gmail.com
Rattaché à l’axe 1 du Centre Granger




Thèmes de recherche :

  • Philosophie des mathématiques
  • Philosophie de l’informatique
  • Correspondance preuves/programmes
  • Théorie de la démonstration

Sujet de thèse : Des programmes qui prouvent : étude de la signification des démonstrations assistées par ordinateur pour la connaissance mathématique

Sous la direction de : Gabriella Crocco (CGGG) et Emmanuel Beffara (LIG – MeTAH, Université Grenoble Alpes)


Bibliographie et CV :

CV F. OLIVA au 31/08/2022

MàJ : 01/08/2022