Pierre Lescanne

Pierre Lescanne
Crédit image:
Original téléversé par PIerre.Lescanne sur Wikipédia français.
licence CC BY-SA 3.0 🛈
Pierre Lescanne
Fonctions
Président
Société des personnels enseignants et chercheurs d'informatique en France ()
-
Thérèse Hardin ()
Christine Choppy ()
Professeur d'université ()
Chercheur
Biographie
Naissance
(77 ans)
Dakar
Nationalité
Activités
Autres informations
A travaillé pour
Directeur de thèse
Site web
Distinction

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

  1. ↑ Le CV de Pierre Lescanne
  2. ↑ Le programme d'une journée de conférences en lambda-calcul et en réécriture en l'honneur de Pierre Lescanne

Liens externes

Logicien français (36)
Wikimédien français (25)
Personnalité en informatique théorique (179)
Lauréat de la médaille d'argent du CNRS (583)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Pierre_Lescanne) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Pierre Lescanne » :
Paul-Eric Langevin, Salebot, Mazuritz, Enrevseluj, Nomen ad hoc, Chaoborus, Rhadamante, Chris a liege, Benoît Prieur, Epsilon0, Bot de pluie, Kirham, HunsuBot, CaBot, Auxerroisdu68, LuaBot, T Daunois, Antoinetav, Pater Ubu Rex, Les3corbiers, 4 utilisateurs non enregistrés.