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

Thèse en cours

  • Leo Gourdin (2020 - 2023)
  • Daniel De Carvalho (2021 - 2024)
  • Alban Reynaud (2022 - 2025)
  • Abderrahmane Bouguern (2022 - 2025)