Pierre Lescanne
Cet article est une ébauche concernant une personnalité française.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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 | (77 ans) Dakar |
---|---|
Nationalité | française |
Activités | Logicien, mathématicien, informaticien |
Directeur de thèse | Claude Pair |
---|---|
Site web | perso.ens-lyon.fr/pierre.lescanne |
Distinction |
modifier - modifier le code - modifier Wikidata
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 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
Liens externes
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Norvège
- WorldCat
- Page personnelle de Pierre Lescanne.
- Portail de la logique
- Portail de l'informatique théorique