Filliâtre, Jean-Christophe (1971-.... ; informaticien)
France
Date de naissance
1971
Langues d'expression
français
anglais
Informaticien. Directeur de recherche CNRS, Laboratoire méthodes formelles (LMF, UMR 8021), École normale supérieure Paris-Saclay, Université Paris-Saclay (2024)
Doctorat en sciences techniques (Orsay, Université Paris-Sud, 1999)
Doctorat en sciences techniques (Orsay, Université Paris-Sud, 1999)
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
La vérification déductive avec l'outil WHY3
Filliâtre
Jean-Christophe
L’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l