Né à Lyon en 1947, ancien élève de l'École normale d'Instituteurs de Lyon (1962), ancien élève de l'École normale supérieure de Saint-Cloud (1966), Jean-Yves Girard est un logicien et mathématicien contemporain, directeur de recherche au CNRS à l'Institut de mathématiques de Luminy.
Jean-Yves Girard est médaille d'argent du CNRS en 1983, membre de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995.
On lui doit, entre autres, les dilatateurs dans la théorie des ordinaux, l'étude de la logique et , le Système F, la logique linéaire et la ludique. Il a écrit de nombreux livres et articles de vulgarisation, dont des articles dans Pour la Science et Sciences et avenir.
Il est l'auteur du livre Proofs and Types. Il prépare actuellement un cours sur la théorie de la démonstration qui rend compte des avancées dans ce domaine de la logique mathématique. Ses activités de recherches se déroulent au département de Logique de la Programmation à l'Institut de mathématiques de Luminy.
Parlant de la logique formelle :