Pierre Lescanne
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7e/Circle-icons-profile.svg/35px-Circle-icons-profile.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Nuvola_France_flag.svg/35px-Nuvola_France_flag.svg.png)
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/01/Pierre_Lescanne.jpg/260px-Pierre_Lescanne.jpg)
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 | ![]() 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