Biographie de Jean-Yves Girard
Jean-Yves Girard, directeur de recherche au CNRS, travaille à l'Institut de Mathématiques de Luminy. C'est un logicien à qui l'on doit, entre autres, le système F, la logique linéaire et la ludique, contributions mathématiques à la logique ; ainsi qu'une réflexion épistémologique, contribution philosophique à cette même logique. Médaille d'argent du CNRS, correspondant à l'Académie des sciences, membre de l'Académie européenne.