Canal-U

Mon compte

GIRARD Jean-Yves

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


 
FMSH
 
Facebook Twitter Google+
Mon Compte