Jean-Yves Girard

Girard, Jean-Yves (1947-....)

RSS
Podcasts
S'abonner
France
Date de naissance
1947
Langues d'expression
français
Mathématicien-logicien. Enseignant à l'université de Paris VII, Directeur de recherche au CNRS (en 1989). En poste à l'institut Mathématiques de Luminy UMR 6206-CNRS, Marseille (en 2004 et 2011)

Médaille d'argent du CNRS

Statut
Directeur de recherches CNRS à Marseille, où je dirige l'équipe de Logique de la Programmation au sein de l'Institut de Mathématiques de Luminy (ci-devant Laboratoire de Mathématiques Discrètes) UPR 9016.
Diplômes
Docteur et agrégé de mathématiques.
Parcours
- 1992--- : Directeur de recherches CNRS à Marseille, y dirige l'équipe de Logique de la Programmation au sein de l'Institut de Mathématiques de Luminy (ci-devant Laboratoire de Mathématiques Discrètes) UPR 9016.
- 1991-1995 : Membre élu du Comité National (section 01).
- 1990-1992 : Directeur de recherches CNRS, à l'Université Paris VII, dans l'Equipe de Logique Mathématique (UA 753).
- 1989-1991 : conseiller scientifique auprès du projet FORMEL de l'INRIA, dirigé par Gérard Huet.
- 1983-1986 : Membre nommé du Comité National (section 03).
- 1981--- : Maître de recherches (DR2) au CNRS.
- 1973-1981 : Chargé de recherches au CNRS.
- 1971--- : Entre au CNRS.
- 1971-1992 : Professeur à Paris VII.
- 1966-1970 : Elève-Maître à l'ENS de St Cloud, Lyon, Montepellier.
- 962-1965 : élève-maître à l'Ecole Normale d'Instituteurs de Lyon.
Prix
- 1990 : Prix Poncelet de l'Académie des Sciences.
- 1983 : Médaille d'Argent du CNRS.
Spécialités
logique, informatique théorique, mathématiques

026892669
Disciplines liées à ses interventions
Mots-clés liés à ses interventions

Vidéos