Florent Bréhard, analyse numérique et preuve formelle

le 3 novembre 2021

Découvrez le portrait de Florent Bréhard du #CRIStAL, qui travaille sur l’analyse #numérique et la preuve #formelle pour calculer et manipuler des #représentations numériques #ensemblistes

En savoir plus...

Agenda

Soutenances

• Corentin Barloy (thèse)

  5 juillet 2024 à 09:45

• Ellie Beauprez (thèse)

  8 juillet 2024 à 14:00

• Salman Farhat (thèse)

  11 juillet 2024 à 14:00

Faits marquants