- Sujet Stage Master 2: Formalisation de l’algorithme de Bentley-Ottmann
- Sujet Stage Master 2: Preuves formelles en géométrie du triangle: vers une encyclopédie certifiée
- Sujet Stage Master 2: Symétries dans les preuves formelles
- Sujet Stage (3 mois): réalisation d'un site web: vers une encyclopédie certifiée
- Sujet TER/projet recherche: Découverte automatique de théorèmes à propos de centres de triangles
- Sujet Projet 150h: Vérification automatique de l’encyclopédie des centres des triangles (sujet réalisé par David Braun)
- Sujet TER/projet 150h:Automatisation des preuves en géométrie au moyen de coordonnées barycentriques implantation Java dans OpenGeoProver
- Sujet TER/projet recherche: Automatisation des preuves en géométrie au moyen de coordonnées barycentriques: implantation en Coq
- Sujet TER/projet recherche: Preuves du théorème de Napoléon (sujet réalisé par Liu Xiaoyi)