Pierre Lescanne

mathématicien et informaticien français

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

Pierre Lescanne
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 (77 ans)
DakarVoir et modifier les données sur Wikidata
Nationalité
Activités
Autres informations
Directeur de thèse
Site web
Distinction

Biographie

modifier

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

Liens externes

modifier