Jean-Yves Girard

Carte Commune · n° 292400

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 1er janvier 2014). Il a reçu la médaille d'argent du CNRS en 1983. Depuis 1994, il est correspondant de l'Académie des sciences, et membre de l'Académie européenne depuis 1995.

Lire sur Wikipédia · Image UTLS, CC BY-SA 4.0