Pierre Lescanne

Un article de Wikipédia, l'encyclopédie libre.
Pierre Lescanne
Pierre Lescanne.jpg
Pierre Lescanne
Fonctions
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
Biographie
Naissance
Voir et modifier les données sur Wikidata (75 ans)
DakarVoir et modifier les données sur Wikidata
Nationalité
Activités
Autres informations
Dir. 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].

Références[modifier | modifier le code]

Liens externes[modifier | modifier le code]