a person in the record
Benjamin Werner
born 1966
Supervised 8 doctoral students at Ecole Polytechnique X, Institut Polytechnique de Paris, and Ecole Doctorale Polytechnique; doctorate at Université Paris-Diderot - Paris VII in 1994 under Christine Paulin-Mohring. Linked to Wikidata.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
- cited by a thesis recordstated by Wikidata
Christine Paulin-Mohring“Une Théorie des Constructions Inductives”
1994 · Université Paris-Diderot - Paris VII · doctoral
Students8
- cited by a thesis record2024 · Institut Polytechnique de Paris · doctoral
- cited by a thesis record
Alexis Bernadet“Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives”
2014 · Ecole Doctorale Polytechnique · doctoral - cited by a thesis record
Chantal Keller“A Matter of Trust: Skeptical Communication Between Coq and External Provers”
2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Victor Magron“Formal Proofs for Global Optimization -- Templates and Sums of Squares”
2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Cyril Cohen“Formalized algebraic numbers: construction and first-order theory.”
2012 · Ecole Polytechnique X · doctoral - cited by a thesis record
François Garillot“Generic Proof Tools and Finite Group Theory”
2011 · Ecole Polytechnique X · doctoral - cited by a thesis record2011 · Ecole Polytechnique X · doctoral
- cited by a thesis record
Bruno Barras“Auto-validation d'un système de preuves avec familles inductives”
1999 · Université paris 7 - paris diderot · doctoral
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
cited by a thesis recordstated by WikidataChristine Paulin-Mohring
- 2 steps up
cited by a thesis recordstated by WikidataGérard Huet
- 3 steps up
stated by WikidataMaurice Nivat
- 4 steps up
stated by WikidataMarcel-Paul Schützenberger
Below them, within 3 steps, the record reaches 21 people: 21 cited by thesis records.
Theses1
- cited by a thesis record
Une Théorie des Constructions Inductives
1994 · Université Paris-Diderot - Paris VII · doctoral · Informatique et Télécommunications · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordSerge Grigorieffjury president
- cited by a thesis recordJean-Louis Krivinejury member
- cited by a thesis recordJean-Pierre Jouannaudreferee
- cited by a thesis recordChristine Paulin-Mohringjury member
- cited by a thesis recordGérard Huetjury member
- cited by a thesis recordGérard Berryjury member
- cited by a thesis recordJean Gallierreferee
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
Works1
1994 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Une Théorie des Constructions Inductives
1994 · doctoral thesis · HAL/TEL OAI
Sat beside the lineage14
jury member, jury president, or referee, not advisor
- cited by a thesis recordjury president · 2023 · Nantes Université · doctoral
- cited by a thesis record
Chantal Keller“A Matter of Trust: Skeptical Communication Between Coq and External Provers”
jury member · 2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Victor Magron“Formal Proofs for Global Optimization -- Templates and Sums of Squares”
jury member · 2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Mahfuza Farooque“Automated Reasoning Techniques as Proof-search in Sequent Calculus”
jury president · 2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Nicolas Guenot“Nested Deduction in Logical Foundations for Computation”
jury president · 2013 · Ecole Polytechnique X · doctoral - cited by a thesis record
Mathieu Boespflug“Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo”
jury member · 2011 · Ecole Polytechnique X · doctoral - cited by a thesis record
François Garillot“Generic Proof Tools and Finite Group Theory”
jury president · 2011 · Ecole Polytechnique X · doctoral - cited by a thesis record
Jorge Luis Sacchini“On type-based termination and dependent pattern matching in the calculus of inductive constructions”
jury president · 2011 · École Nationale Supérieure des Mines de Paris · doctoral - cited by a thesis recordjury member · 2011 · Ecole Polytechnique X · doctoral
- cited by a thesis record
Vincent Siles“Investigation on the typing of equality in type systems”
jury member · 2010 · Ecole Polytechnique X · doctoral - cited by a thesis recordjury president · 2010 · Université Nice Sophia Antipolis · doctoral
- cited by a thesis recordjury member · 2008 · Ecole Polytechnique X · doctoral
- cited by a thesis record
Assia Mahboubi“Contributions à la certification des calculs dans R : théorie, preuves, programmation”
jury member · 2006 · Université Nice Sophia Antipolis · doctoral - cited by a thesis record
Vincent Bernat“Théories de l'intrus pour la vérification des protocoles cryptographiques”
referee · 2006 · École normale supérieure de Cachan - ENS Cachan · doctoral