a person in the record
Pierre Lescanne
French logicianborn 1947
Supervised 10 doctoral students at Université Henri Poincaré - Nancy 1, Institut National Polytechnique de Lorraine, and ENS Lyon between 1994 and 2008; Wikidata names Claude Pair as doctoral advisor, lists 15 doctoral students, and lists 7 people they taught. Linked to Wikidata, Google Scholar, and 7 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlex
Students10
- cited by a thesis recordstated by Wikidata2008 · ENS Lyon · doctoral
- cited by a thesis record
Romain Cyril Kervarc“Systèmes de types purs et substitutions explicites”
2007 · École normale supérieure de Lyon · doctoral - cited by a thesis record
Dragisa Zunic“Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X”
2007 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Zine-Ei-Abidine Benaissa“Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels”
1997 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
François Bertault“Génération et tracé de structures décomposables”
1997 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Daniel Briaud“Substitutions explicites et unification d'ordre supérieur”
1997 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Barbara Heyd“Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles”
1997 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Boutheïna Chetali“Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique”
1996 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Stefan Krischer“Méthodes de vérification de circuits digitaux”
1994 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Joseph Rouyer“Développements d'algorithmes dans le calcul des constructions”
1994 · Institut National Polytechnique de Lorraine · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata15
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1958
- stated by Wikidataborn 1970
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
Taught7
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataClaude Pair
- 2 steps up
stated by WikidataJean Legras
- 3 steps up
stated by WikidataJoseph Pérès
- 4 steps up
stated by WikidataErnest Vessiotstated by WikidataVito Volterra
Below them, within 3 steps, the record reaches 35 people: 16 cited by thesis records, 21 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undated
- undatedworked
- undated
Sat beside the lineage14
jury member, referee, or jury president, not advisor
- cited by a thesis record
Petar Maksimović“Development and verification of probability logics and logical frameworks”
jury member · 2013 · Université Nice Sophia Antipolis · doctoral - cited by a thesis record
Romain Cyril Kervarc“Systèmes de types purs et substitutions explicites”
jury member · 2007 · École normale supérieure de Lyon · doctoral - cited by a thesis record
Dragisa Zunic“Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X”
jury member · 2007 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Matthieu Manceny“Réseaux de jeux : une extension de la théorie des jeux pour la modélisation des interactions locales : application aux réseaux de régulation génétique.”
referee · 2006 · Université d'Evry-Val d'Essonne · doctoral - cited by a thesis record
Elyès Alouini“Etude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée”
jury president · 1997 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Francois Bertault“Génération et tracé de structures décomposables”
jury member · 1997 · Université Henri Poincaré - Nancy I · doctoral - cited by a thesis record
Christophe Ringeissen“Combinaison de résolutions de contraintes”
jury member · 1993 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Pascal Le Melinaire“Modélisation de relations géométriques par la méthode DSI : application à la géologie”
referee · 1992 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Marie-Odile Berger“Les contours actifs : modélisation, comportement et convergence”
referee · 1991 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Yves Laprie“Outils, travaux et propositions pour le décodage acoustico-phonétique”
referee · 1990 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Wadoud Bousdira“Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos”
jury member · 1990 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Yun-Gao Huang“Modélisation et manipulation des surfaces triangulées”
jury president · 1990 · Institut National Polytechnique de Lorraine · doctoral - cited by a thesis record
Aristide Mégrelis“Algèbre galactique, un procédé de calcul formel, relatif aux semi-fonctions, à l'inclusion et à l'égalité”
jury member · 1990 · Université Henri Poincaré - Nancy 1 · doctoral - cited by a thesis record
Laurent Romary“Vers la définition d'un modèle cognitif autour de la représentation du temps dans un système de dialogue Homme-Machine”
referee · 1989 · Université Henri Poincaré - Nancy 1 · doctoral