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]univ-amu.fr
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)
Première inscription : 01/09/2022


Bibliographie et CV :

CV F. OLIVA au 18/07/2023

MàJ : 18/07/23

SITE TEMPORAIRE – SITE EN TRAVAUX