Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy (devenu l'Institut de Mathématiques de Marseille depuis le ).
Sa recherche personnelle, notamment sur le système F, le mène au CNRS en mars 1971 où il soutient sa thèse d'Etat en juin 1972, avec Georg Kreisel comme rapporteur et Jean-Louis Krivine en directeur de thèse. Il grimpe les échelons au sein du CNRS, étant promu chargé de recherches en 1973, maître de recherches en 1981, puis directeur de recherche en 1990. Pendant ce temps, il travaille à l'Université Paris VII dans l'Équipe de Logique Mathématique jusqu'en 1992.
Par la suite, il rejoint Marseille, où il dirige l'équipe de Logique de la Programmation de l'Institut de Mathématiques de Luminy avant de prendre progressivement sa retraite. En 1983, il reçoit la Médaille d’Argent du CNRS.
Son cours de logique (Le Point Aveugle, 2006 et 2007) donne un éclairage nouveau sur l’état actuel de la discipline, ainsi qu'il donne à voir ses dernières avancées, à la lumière de l'opposition entre essence et existence. Des notes issues de ses cours avaient auparavant été traduites et mises en forme par Y. Lafont et P. Taylor (Proofs and Types, 1989).
Tome 2 : Vers l'imperfection, 288 pp., . Le cours continue en exposant l' « hypothèse de la polarisation » (les « desseins », la « ludique » et les systèmes LC et LLP), puis décrit les systèmes expérimentauxLLL et ELL et les « espaces cohérents quantiques », et enfin s'achève sur la « géométrie de l'interaction » .
