Accueil > Axes > Formal Proofs > Thèse en cours > Thèse en cours

Thèse en cours

  • Alban Reynaud Michez (2022 - 2025)
  • Alexandre Berard (2023 - 2026)
  • Benjamin Bonneau (2023 - 2026)
  • Basile Gros (2023 - 2026)
  • Timothée Rognon (2024 - 2027)

    • Nouvelles publications