Teaching

Courses

University of Nancy

• Agent-Oriented Programming — 2nd year of bachelor’s degree — 2025-2026
• Student’s projects supervision — 2nd year of bachelor’s degree — 2024-2026
• System: processes, memory and files — 2nd year of bachelor’s degree — 2024-2026
• Functional Programming — 3rd year of bachelor’s degree — 2024-2026 — Exercises
• ACL (Software Analysis and Design) — 1st year of master’s degree — 2024-2026
• Logic — 2nd year of bachelor’s degree — 2024-2025
• API (Algorithms and Imperative Programming) — 1st year of bachelor’s degree — 2024-2026

University of Regensburg

• Programming II — 1st year of bachelor’s degree — 2023-2024 — Exercises
• Theoretical Foundations of Computer Science I — 1st year of bachelor’s degree — 2023-2024

University of Montpellier

• Program Verification — 3rd year of bachelor’s degree — 2022-2023 — Coq guide (in French)
• Network and Concurrent Programming — 3rd year of bachelor’s degree — 2022-2023
• First-Order Logic — 3rd year of bachelor’s degree — 2021-2022
• Functional Programming — 1st year of bachelor’s degree — 2021-2022
• Data Warehouse and Big Data — 1st year of master’s degree — 2021-2022
• Parallel and Distributed Programming — 1st year of master’s degree — 2020-2021
• Network, System and Web — 1st year of bachelor’s degree — 2020-2021

Supervision

Master’s Thesis Co-Supervision

• Ayath Abogounrin, Guillaume Potel, and Matheo Vigneres — 2026 Indexing Structures for First-Order Logic | 1st year of master
  With Marie Duflot-Kremer and Engel Lefaucheux

• Claude Leroy — 2025-2026 Decentralized Diagnosis of Stochastic Systems | 1st year of master
  With Engel Lefaucheux

Bachelor’s Thesis Co-Supervision

• Johann Rosain — 2021-2022
  Deduction Modulo Theory and Polymorphism in Goéland
  With David Delahaye, Hinde Lilia Bouziane and Simon Robillard

• Cédric Berthet, Enzo Goulesque, Lorenzo Puccio, Margaux Renoir, and Tom Simula — 2021-2022
  Integration of Arithmetic Reasoning in Goéland
  With David Delahaye, Hinde Lilia Bouziane and Simon Robillard

Internship Supervision

• Titouan Le Pen — 2025
  Development of a Resolution-Based Automated Theorem Prover | 2nd year of bachelor

• Achille Razafimaharo — 2025
  Development of a Tableau-Based Automated Theorem Prover | 2nd year of bachelor

Internship Co-Supervision

• Filip Jagiellowicz — 2024
  Implementation of a Decision Procedure for CaAL | 1st year of master
  With Philipp Rümmer

• Dylan Bettendroffer — 2023
  A Dedukti Output for Goéland | 2nd year of master
  With David Delahaye, Hinde Lilia Bouziane and Simon Robillard

• Johann Rosain — 2023
  Deskolemization in First-Order Logic | 3rd year of bachelor
  With David Delahaye, Olivier Hermant and Simon Robillard

• Matthieu Pierret — 2023
  Interactive Proof in Goéland | 2rd year of bachelor
  With David Delahaye, Hinde Lilia Bouziane and Simon Robillard

• Lorenzo Puccio — 2022
  A Rocq Output for Goéland | 3rd year of bachelor
  With David Delahaye, Hinde Lilia Bouziane and Simon Robillard

• Adrien Mecibah — 2022
  Interactive Traces for ATP | 2nd year of bachelor
  With David Delahaye, Hinde Lilia Bouziane and Simon Robillard

• Nina Janeva — 2021
  Design of an Automated Tool for Benchmarks | 3rd year of bachelor
  With David Delahaye and Hinde Lilia Bouziane

• Johann Rosain — 2021
  Code Trees for Unification | 2nd year of bachelor
  With David Delahaye and Hinde Lilia Bouziane