Logo Se connecter

Domaines d’expertise (AOE) et de compétence (AOC)

AOE
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 L2 Mathématiques à distance

, Université d'Angers, Angers, Modules de mathématiques uniquement.

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

, Université Claude Bernard Lyon 1, Lyon, Validée

Baccalauréat scientifique Spécialité Mathématiques

, 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

Communications

 Que font les assistants de preuve aux mathématiques ? 

— Dans le cadre du Séminaire Jeunes Chercheurs en Philosophie Argumentative, En ligne

 In what sense are (computer-assisted) proofs experiments ? 

— Dans le cadre du Séminaire d’équipe PhilInBioMed, laboratoire ImmunoConcept, Bordeaux, France

 Que font les assistants de preuve aux mathématiques? 

— Dans le cadre des Vingt-quatrièmes Rencontres enseignants-chercheurs, Aix-en-Provence

 En quel sens les démonstrations assistées par ordinateur sont-elles des expérimentations ? 

— Dans le cadre du Séminaire d’équipe MeTAH, Laboratoire d’Informatique de Grenoble, Grenoble, France

 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 The Nancy-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

Intervention dans des colloques, workshops, journées d’étude

Workshop

La notion de démonstration à l’intersection de la logique, des mathématiques, de l’informatique et de la didactique

Diffusion

Quatre couleurs et un ordinateur : à la découverte de la première démonstration assistée par ordinateur

Autre

Les Assises du Centre Granger 2024/ 2e édition : été