Algorithme  Algorithme de Knutyh et Bendix  Algorithmes  Algèbres de processus  Algèbres des relations  Ambients  Arbres sémantiques  Atteignabilité  Automate  Automatic proving  Bibliothèques haute performance  Bigraphes  Bisimulation  C plus-plus  Cadres logiques  Calcul X  Calcul des séquents  Lambda calcul  Lambda-calcul  Langages de programmation fonctionnelle  Logiciels -- Vérification  Logique mathématique  Méthodes formelles  Programmation  Programmation parallèle  Programming  Protocoles de réseaux d'ordinateurs  Rewriting  Réécriture  Réécriture, Systèmes de  Système réécriture  Terminaison  Théorie de la démonstration  Théorie des types  Théorie équationnelle  Théorèmes -- Démonstration automatique  

Pierre Lescanne a dirigé les 21 thèses suivantes :

Techniques modulo pour les bisimulations faibles

par Damien Pous sous la direction de Daniel Hirschkoff et de Pierre Lescanne . - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2008

Generalisation and formalisation in game theory

par Stéphane Le Roux sous la direction de Pierre Lescanne - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2008

Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X

par Dragisa Zunic sous la direction de Pierre Lescanne - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2007

Systèmes de types purs et substitutions explicites

par Romain Kervarc sous la direction de Pierre Lescanne - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2007

Types pour des langages de programmation orientée d'objet et fonctionnelle

par Silvia Likavec sous la direction de Viviana Bono et de Pierre Lescanne . - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2004

Expressivité des logiques d'espace

par Etienne Lozes sous la direction de Pierre Lescanne et de Luis Monteiro . - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2004

Ressources limitées pour la mobilité : utilisation, réutilisation, garanties

par David Teller sous la direction de Pierre Lescanne - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2004

Interpretation de l'analyse statique en theorie des types

par Frédéric Prost sous la direction de Pierre Lescanne - École normale supérieure (Lyon ; 1987-2009)

Sciences et techniques. Sciences et techniques communes

Soutenue en 1999

Modèles de la bêta-réduction pour les implantations

par Frédéric Lang sous la direction de Pierre Lescanne - École normale supérieure (Lyon ; 1987-2009)

Sciences appliquée

Soutenue en 1998

Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles

par Barbara Heyd sous la direction de Pierre Lescanne - Nancy 1

Informatique

Soutenue en 1997

Substitutions explicites et unification d'ordre supérieur

par Daniel Briaud sous la direction de Pierre Lescanne - Nancy 1

Informatique

Soutenue en 1997

Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels

par Zine-EI-Abidine Benaissa sous la direction de Pierre Lescanne - Nancy 1

Informatique

Soutenue en 1997

Génération et tracé de structures décomposables

par François Bertault sous la direction de Pierre Lescanne - Nancy 1

Informatique

Soutenue en 1997

Vérification formelle des systèmes parallèles décrits en Unity à l'aide d'un outil de démonstration automatique

par Boutheïna Chetali sous la direction de Pierre Lescanne - Nancy 1

Informatique

Soutenue en 1996

Développements d'algorithmes dans le calcul des constructions

par Joseph Rouyer sous la direction de Pierre Lescanne - Vandoeuvre-les-Nancy, INPL

Sciences appliquées

Soutenue en 1994

Méthodes de vérification de circuits digitaux

par Stefan Krischer sous la direction de Pierre Lescanne - Vandoeuvre-les-Nancy, INPL

Sciences appliquées

Soutenue en 1994

Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture

par JOCELYNE ROUYER DEGLI sous la direction de Pierre Lescanne - Nancy 1

Sciences appliquées

Soutenue en 1991

Étude et réalisation de méthodes de preuve par récurrence en logique équationnelle

par Azzeddine Lazrek sous la direction de Pierre Lescanne - Vandoeuvre-les-Nancy, INPL

Informatique

Soutenue en 1988

Démonstration automatique par des techniques de réécritures

par Michaël Rusinowitch sous la direction de Pierre Lescanne - Nancy 1

Sciences et techniques communes

Soutenue en 1987

Preuves de terminaison des systèmes de réecriture : un outil fondé sur les interprétations polynomiales

par Ahlem Ben Cherifa sous la direction de Pierre Lescanne - Nancy 1

Sciences appliquées

Soutenue en 1986

Preuves de terminaison des systèmes de réécriture associatifs commutatifs : Une méthode fondée sur la réécriture elle-même

par Isabelle Gnaedig sous la direction de Pierre Lescanne - Nancy 1

Sciences appliquées

Soutenue en 1986

Pierre Lescanne a été président de jury des 2 thèses suivantes :

Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes

par Aurélien Pardon sous la direction de Daniel Hirschkoff - Lyon, École normale supérieure

Informatique

Soutenue le 07-04-2011

Modélisation et manipulation des surfaces triangulées

par Yun-Gao Huang sous la direction de Jean-Laurent Mallet - Vandoeuvre-les-Nancy, INPL

Informatique

Soutenue en 1990

Pierre Lescanne a été rapporteur des 2 thèses suivantes :

Optimisation de programmes par reconnaissance de templates

par Christophe Alias sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 2005

Outils, travaux et propositions pour le décodage acoustico-phonétique

par Yves Laprie sous la direction de Jean-Marie Pierrel - Vandoeuvre-les-Nancy, INPL

Informatique

Soutenue en 1990

Pierre Lescanne a été membre de jury de la thèse suivante :

Développement et vérification des logiques probabilistes et des cadres logiques

par Petar Maksimović sous la direction de Luigi Liquori et de Silvia Ghilezan . - Nice

Informatique

Soutenue le 15-10-2013