Pierre Lescanne

Fonctions
Président; Société des personnels enseignants et chercheurs d'informatique en France (d)
2005-2007
Thérèse Hardin (d) Christine Choppy (d)
Professeur d'université (d)
Chercheur
Naissance	22 mars 1947 ; Dakar
Nationalité	française
Activités	Logicien, mathématicien, informaticien
A travaillé pour	Centre national de la recherche scientifique; Centre de recherche en informatique de Nancy (d); Université Nancy-II; École normale supérieure de Lyon
Directeur de thèse	Claude Pair
Site web	perso.ens-lyon.fr/pierre.lescanne
Distinction	Médaille d'argent du CNRS (1987)

Pierre Lescanne, né à Dakar le 22 mars 1947, est un chercheur français en logique et informatique théorique.

Biographie

Professeur à l'ENS de Lyon, il est considéré comme un spécialiste de la réécriture et du lambda-calcul.

Ses thèmes de recherche sont actuellement la logique, la théorie des types, la logique de la connaissance ainsi que la théorie des jeux appliquée à la biologie^[1].

Distingué par la médaille d'argent du CNRS au titre de sa fonction de co-directeur de l'équipe Eureca en 1986-1987, une journée d'études a été organisée en son honneur le 29 mai 2008 au Loria, à Nancy^[2].

Références

Liens externes

Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Norvège
Page personnelle de Pierre Lescanne.

Portail de la logique
Portail de l'informatique théorique

[1] Le CV de Pierre Lescanne

[2] Le programme d'une journée de conférences en lambda-calcul et en réécriture en l'honneur de Pierre Lescanne

[1]

[2]