Philosophie et épistémologie des mathématiques, Philosophie de l'informatique
AOC
Philosophie des sciences, Logique, Epistémologie
Positions académiques
Doctorante contractuelle,
Aix-Marseille Université,
Aix-en-Provence, Intitulé de thèse : Des programmes qui prouvent : étude de la signification des démonstrations assistées par ordinateur pour la connaissance mathématique.
Formation
Licence de Sciences mention Mathématiques (à distance)
,
Université d'Angers, Validée
Master de SHS mention Épistémologie, Logique, Histoire des Sciences (MADELHIS)
,
Université de Lorraine, Mention Très bien
Maîtrise de Sciences Humaines et Sociales mention Philosophie
,
Université Jean Moulin Lyon 3, Lyon, Mention Bien
Licence de Sciences Humaines et Sociales mention Philosophie
,
Université Jean Moulin Lyon 3, Lyon, Mention Bien
Licence de Sciences, Technologies, Santé L1 Mathématiques-Informatique
,
Lycée Jean Moulin, Albertville, Savoie, Mention Très bien
Enseignements
Passés
L1
Chargée de cours
,
TD Philosophie des sciences et épistémologie, Université Jean Moulin Lyon 3, Lyon
Terminale
Enseignante contractuelle (temps partiel)
,
Philosophie, enseignement moral et civique, Lycée Ambroise Croizat, Moûtiers
L1
Chargée de cours
,
TD Méthodologie de la philosophie, Université Jean Moulin Lyon 3, Lyon
L3
Chargée de cours
,
CM Logique, Université Jean Moulin Lyon 3, Lyon
Intitulé : Preuves, programmes et types : de la correspondance preuves-programmes aux assistants de preuve
Communications
Les assistants de preuve : (pas si) bêtes et méchants?
— Séminaire PhilosophIA du Centre Gilles Gaston Granger, En ligne
Le théorème fondamental de l’arithmétique à l’épreuve des assistants de preuve
— XXVIème colloque de la commission Inter-IREM Epistémologie et Histoire des mathématiques : Mathématiques et langage(s), Valenciennes
Le script de preuve formelle, une interface entre formalismes et intuitions?
— Rencontres PHILMATHMED 2025 : La notion de démonstration à l’intersection de la logique, des mathématiques, de l’informatique et de la didactique, Marseille
Prove, compute and repeat : interactions between proofs and computations in interactive theorem provers
— Workshop Practices around Computation, Villetaneuse
Quelles intuitions se cachent derrière les démonstrations assistées par ordinateur ?
— 11èmes Rencontres Doctorales Internationales en Philosophie des Sciences, Lyon
Que font les assistants de preuve aux mathématiques?
— Dans le cadre des Vingt-quatrièmes Rencontres enseignants-chercheurs, Aix-en-Provence
Comment l’hypercarte peut-elle nous guider à travers la démonstration du théorème des quatre couleurs en Coq?
— Dans le cadre du Séminaire d’équipe LIRICA, Laboratoire d’Informatique et des
Systèmes, Marseille, France
Quatre couleurs et un ordinateur : à la découverte de la première démonstration assistée par ordinateur
— Dans le cadre du cycle Philosopher au quotidien organisé à la Bibliothèque l'Alcazar, Marseille, France
From maps on paper to bits in computer: which proof of the Four Color Theorem is the most intuitive?
— Dans le cadre de TheNancy-Liège Workshops on Mathematical Intuition, Liège, Belgique
What does the computer-assisted proof of the Four Color Theorem prove?
— Dans le cadre du Quinzième colloque français de philosophie des mathématiques, Paris, France
How can hypermaps guide us through the computer-assisted proof of the Four Colour Theorem?
— Dans le cadre du Logic Colloquium 2023, Milan, Italie
En quel sens les démonstrations assistées par ordinateur sont-elles des expérimentations ?
— Dans le cadre du Neuvième Congrès de la Société de philosophie des sciences, Nanterre, France
100 couleurs suffisent ! Présentation succincte et partielle des démonstrations assistées par ordinateur
— Dans le cadre du Séminaire doctoral HypoThèse, Aix-en-Provence, France
Organisation de colloques, workshops, journées d’étude
