Pierre Lescanne, né à Dakar le , 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 biologieLe CV de Pierre Lescanne.
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, à NancyLe programme d'une journée de conférences en lambda-calcul et en réécriture en l'honneur de Pierre Lescanne.
Références
Liens externes
Page personnelle de Pierre Lescanne.
Catégorie:Naissance en mars 1947 Catégorie:Naissance à Dakar Catégorie:Personnalité en informatique théorique Catégorie:Logicien français Catégorie:Lauréat de la médaille d'argent du CNRS Catégorie:Wikimédien français