Enseignement

Les cours que je donne et les étudiants que j'ai encadrés.

Cours

• Semestre 2, 2026–2027 — Logique, TD de licence 1. UFR de philosophie, Université Paris 1 Panthéon-Sorbonne. Cours et exercices, sur la première partie de Pierre Wagner, Logique et philosophie, Ellipses, 2014.
• 22 octobre 2026 — « LLM agentique et vibe coding ». EcAuTAL 2026, école d'automne en TAL du département STL, LISN, Orsay. 2 heures.

Encadrement

• juillet–août 2026 — Stage de recherche, Younes Boufouss, L3 informatique, Université Paris-Saclay. Annotation et évaluation de propositions atomiques, puis inférence en langue naturelle sur graphes de connaissances. Co-auteur des articles AKBC 2026 et JDSE 2026. Aujourd'hui en M1 intelligence artificielle à l'Université Paris-Saclay.
• 26 mai – 26 juin 2026 — Stage de recherche, Ava Mitchell, L3 japonais, parcours TAL, INALCO. « Généralisation multilingue d'un propositionneur : le cas du japonais ».
• 10 juillet – 7 août 2026 — Stage de recherche, Audrey Jaffrezic, M1 histoire et philosophie des sciences, Université Paris Cité. « Interprétabilité et logique : calcul des séquents et espace de représentation interne des LLM ».