a person in the record
Tobias Nipkow
German computer scientist (1958-)born 1958
Supervised 31 doctoral students at Technische Universität München between 1999 and 2026; Wikidata names Cliff Jones as doctoral advisor and lists 20 doctoral students. Linked to Wikidata, ORCID, and 9 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students31
- cited by a thesis record
Fabian Huch“Big Math in Interactive Theorem Provers: Scaling the Isabelle Archive of Formal Proofs”
2026 · Technische Universität München · doctoral - cited by a thesis record
Katharina Beate Heidler“Formalization and Verification of Post-Quantum Cryptography”
2025 · Technische Universität München · doctoral - cited by a thesis record
Muhammed Emin Karayel“Verification of Derandomized Probabilistic Algorithms”
2025 · Technische Universität München · doctoral - cited by a thesis record
Maximilian Schäffeler“Formally Verified Solution Methods for Markov Decision Processes”
2025 · Technische Universität München · doctoral - cited by a thesis record
Julian M. Brunner“Formal Verification of Algorithms for Automata and Model Checking”
2022 · Technische Universität München · doctoral - cited by a thesis record2021 · Technische Universität München · doctoral
- cited by a thesis record
Maximilian Paul Louis Haslbeck“Verified Quantitative Analysis of Imperative Algorithms”
2021 · Technische Universität München · doctoral - cited by a thesis record2020 · Technische Universität München · doctoral
- cited by a thesis record2019 · Technische Universität München · doctoral
- cited by a thesis record
Fabian Immler“A Verified ODE Solver and Smale's 14th Problem”
2018 · Technische Universität München · doctoral - cited by a thesis record
Ondřej Kunčar“Types, Abstraction and Parametric Polymorphism in Higher-Order Logic”
2016 · Technische Universität München · doctoral - cited by a thesis record
Lars Noschinski“Formalizing Graph Theory and Planarity Certificates”
2016 · Technische Universität München · doctoral - cited by a thesis record
Dmytro Traytel“Formalizing Symbolic Decision Procedures for Regular Languages”
2015 · Technische Universität München · doctoral - cited by a thesis record
Lukas Bulwahn“Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming”
2013 · Technische Universität München · doctoral - cited by a thesis record
Johannes Hölzl“Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic”
2013 · Technische Universität München · doctoral - cited by a thesis record
Jasmin Christian Blanchette“Automatic Proofs and Refutations for Higher-Order Logic”
2012 · Technische Universität München · doctoral - cited by a thesis record
Sascha Böhme“Proving Theorems of Higher-Order Logic with SMT Solvers”
2012 · Technische Universität München · doctoral - cited by a thesis record
Florian Haftmann“Code Generation from Specifications in Higher-Order Logic”
2009 · Technische Universität München · doctoral - cited by a thesis record
Alexander Krauss“Automating Recursive Definitions and Termination Proofs in Higher-Order Logic”
2009 · Technische Universität München · doctoral - cited by a thesis record
Amine Chaieb“Automated methods for formal proofs in simple arithmetics and algebra”
2008 · Technische Universität München · doctoral - cited by a thesis record2008 · Technische Universität München · doctoral
- cited by a thesis record
Tjark Weber“SAT-based Finite Model Generation for Higher-Order Logic”
2008 · Technische Universität München · doctoral - cited by a thesis record2006 · Technische Universität München · doctoral
- cited by a thesis record
Norbert Schirmer“Verification of Sequential Imperative Programs in Isabelle/HOL”
2006 · Technische Universität München · doctoral - cited by a thesis record2006 · Technische Universität München · doctoral
- cited by a thesis record
Stefan Berghofer“Proofs, Programs and Executable Specifications in Higher Order Logic”
2003 · Technische Universität München · doctoral - cited by a thesis record2003 · Technische Universität München · doctoral
- cited by a thesis record
Leonor Prensa Nieto“Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL”
2002 · Technische Universität München · doctoral - cited by a thesis record
Markus M. Wenzel“Isabelle/Isar --- a versatile environment for human-readable formal proof documents”
2002 · Technische Universität München · doctoral - cited by a thesis record2001 · Technische Universität München · doctoral
- cited by a thesis record
Konrad Slind“Reasoning about Terminating Functional Programs”
1999 · Technische Universität München · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata20
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1958
- stated by Wikidataborn 1975
- stated by Wikidataborn 1976
- 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
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
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 WikidataCliff Jones
- 2 steps up
stated by WikidataTony Hoare
- 3 steps up
stated by WikidataAndrey Kolmogorovstated by WikidataLeslie Fox
- 4 steps up
stated by WikidataNikolai Luzinstated by WikidataRichard V. Southwell
Below them, within 3 steps, the record reaches 57 people: 31 cited by thesis records, 26 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undated
- undated
- undated
Sat beside the lineage27
referee, not advisor
- cited by a thesis record
Fabian Huch“Big Math in Interactive Theorem Provers: Scaling the Isabelle Archive of Formal Proofs”
referee · 2026 · Technische Universität München · doctoral - cited by a thesis record
Katharina Beate Heidler“Formalization and Verification of Post-Quantum Cryptography”
referee · 2025 · Technische Universität München · doctoral - cited by a thesis record
Muhammed Emin Karayel“Verification of Derandomized Probabilistic Algorithms”
referee · 2025 · Technische Universität München · doctoral - cited by a thesis record
Maximilian Schäffeler“Formally Verified Solution Methods for Markov Decision Processes”
referee · 2025 · Technische Universität München · doctoral - cited by a thesis record
Julian M. Brunner“Formal Verification of Algorithms for Automata and Model Checking”
referee · 2022 · Technische Universität München · doctoral - cited by a thesis recordreferee · 2021 · Technische Universität München · doctoral
- cited by a thesis record
Maximilian Paul Louis Haslbeck“Verified Quantitative Analysis of Imperative Algorithms”
referee · 2021 · Technische Universität München · doctoral - cited by a thesis recordreferee · 2020 · Technische Universität München · doctoral
- cited by a thesis recordreferee · 2019 · Technische Universität München · doctoral
- cited by a thesis record
Albert Rizaldi“Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL”
referee · 2019 · Technische Universität München · doctoral - cited by a thesis record
Fabian Immler“A Verified ODE Solver and Smale's 14th Problem”
referee · 2018 · Technische Universität München · doctoral - cited by a thesis recordreferee · 2017 · Technische Universität München · doctoral
- cited by a thesis record
Christian Geist“Generating Insights in Social Choice Theory via Computer-aided Methods”
referee · 2016 · Technische Universität München · doctoral - cited by a thesis record
Ondřej Kunčar“Types, Abstraction and Parametric Polymorphism in Higher-Order Logic”
referee · 2016 · Technische Universität München · doctoral - cited by a thesis record
Lars Noschinski“Formalizing Graph Theory and Planarity Certificates”
referee · 2016 · Technische Universität München · doctoral - cited by a thesis record
Dmytro Traytel“Formalizing Symbolic Decision Procedures for Regular Languages”
referee · 2015 · Technische Universität München · doctoral - cited by a thesis record
Lukas Bulwahn“Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming”
referee · 2013 · Technische Universität München · doctoral - cited by a thesis record
Johannes Hölzl“Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic”
referee · 2013 · Technische Universität München · doctoral - cited by a thesis record
Jasmin Christian Blanchette“Automatic Proofs and Refutations for Higher-Order Logic”
referee · 2012 · Technische Universität München · doctoral - cited by a thesis record
Sascha Böhme“Proving Theorems of Higher-Order Logic with SMT Solvers”
referee · 2012 · Technische Universität München · doctoral - cited by a thesis record
Alexander Krauss“Automating Recursive Definitions and Termination Proofs in Higher-Order Logic”
referee · 2009 · Technische Universität München · doctoral - cited by a thesis recordreferee · 2008 · Technische Universität München · doctoral
- cited by a thesis record
Aurel Huber“Specification of Optimizing Document Formatters”
referee · 2007 · Technische Universität München · doctoral - cited by a thesis record
Maria Spichkova“Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle”
referee · 2007 · Technische Universität München · doctoral - cited by a thesis record
Norbert Schirmer“Verification of Sequential Imperative Programs in Isabelle/HOL”
referee · 2006 · Technische Universität München · doctoral - cited by a thesis record
Stefan Berghofer“Proofs, Programs and Executable Specifications in Higher Order Logic”
referee · 2003 · Technische Universität München · doctoral - cited by a thesis record
Leonor Prensa Nieto“Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL”
referee · 2002 · Technische Universität München · doctoral