Pottier, François (19..-.... ; informaticien)
France
Date de naissance
19XX
Langues d'expression
français
anglais
Informaticien. Directeur de recherche INRIA, responsable de l'équipe-projet Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Centre INRIA de Paris (2025)
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
Éléments d'algorithmique : mariages stables
Pottier
François
Comment aborder les problèmes d'algorithmique dans le cadre du programme ISN au Lycée ?