Pierre Lescanne — Wikipédia
Pierre Lescanne
Président Société des personnels enseignants et chercheurs d'informatique en France (d) | |
---|---|
- | |
Thérèse Hardin (d) Christine Choppy (d) | |
Professeur d'université (d) | |
Chercheur |
Naissance | |
---|---|
Nationalité | |
Activités |
Directeur de thèse | |
---|---|
Site web | |
Distinction |
Pierre Lescanne, né à Dakar le , est un chercheur français en logique et informatique théorique.
Biographie
[modifier | modifier le code]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 au Loria, à Nancy[2].