Jean-Yves Girard
logicien français / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Jean-Yves Girard?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Girard.
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 ).
Faits en bref Directeur de recherche au CNRS, Naissance ...
Jean-Yves Girard
Directeur de recherche au CNRS |
---|
Naissance | |
---|---|
Pseudonyme |
Yann-Joachim Ringard |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Maître | |
Directeur de thèse | |
Sites web | |
Distinctions |
Fermer
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.