Théo Laffaye

  • 2026 : Stage M2 chez Systerel. Sujet : Preuve formelle d’un logiciel B