a person in the record
Christoph Benzmüller
German computer scientistborn 1968
Supervised 4 doctoral students and 7 master's students at Otto-Friedrich-Universität, Freie Universität, and Freie Universität Berlin between 2022 and 2025; Wikidata names Frank Pfenning, Jörg Siekmann, and Michael Kohlhase as doctoral advisors and lists 1 doctoral student. Linked to Wikidata, ORCID, and 10 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students11
- cited by a thesis record
David Fuenmayor“A Universal Mathematical Language for Argumentative Reasoning Agents”
2025 · Freie Universität Berlin · doctoral - cited by a thesis record
Lara Lawniczak“Towards Automated Ethical Reasoning : Representing the AI Act in Higher-Order-Logic”
2025 · Otto-Friedrich-Universität · master's - cited by a thesis record
Paul Sigloch“Leveraging AI in Data-Sensitive Domains : A Framework for Developing Hybrid AI Systems with a Focus on Ensuring Information Integrity”
2025 · Otto-Friedrich-Universität · master's - cited by a thesis record
Patrick Salvatore Stößel“Symbolic AI in Critical Healthcare Setting : Towards Automated Governance of Spontaneous Breathing Trials for Streamlined Extubation”
2025 · Otto-Friedrich-Universität · master's - cited by a thesis record
Rosa Martin Pena“Responsible decision-making in trustworthy human-AI interaction : linking counterfactual explanations and regret”
2024 · Universidad de Valladolid · doctoral - cited by a thesis record
- cited by a thesis record
Veronika Solopova“Hybrid AI Systems in Automated Content Moderation and Analysis”
2024 · Freie Universität · doctoral - cited by a thesis record
Alina Tenne“XAI in Medicine : Analysis and Evaluation of XAI Tools and Legal Liability for Neural Networks ; A Case Study on Tumor Image Classification”
2024 · Otto-Friedrich-Universität · master's - cited by a thesis record2023 · Freie Universität Berlin · master's
- cited by a thesis record
Colin Rothgang“Automated theorem proving for dependent typed theories via a translation to higher-order logic”
2023 · Freie Universität · master's - cited by a thesis record
Daniel Kirchner“Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL”
2022 · Refubium - Repositorium der Freien Universität Berlin · doctoral
Advisors on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
Students on Wikidata1
From Wikidata, shown separately from the thesis records.
- 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 WikidataFrank Pfenningstated by WikidataJörg Siekmannstated by WikidataMichael Kohlhase
- 2 steps up
stated by WikidataPat Hayesstated by WikidataPeter B. Andrews
- 3 steps up
stated by WikidataAlonzo Churchstated by WikidataBernard Meltzer
- 4 steps up
stated by WikidataOswald Veblenstated by WikidataReinhold Furth
Below them, within 3 steps, the record reaches 5 people: 4 cited by thesis records, 1 stated by Wikidata.
Education and career18
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1989 to 1995studied
- 1991 to 1994worked
- 1995 to 1999studied
- 1995 to 1999worked
- 1999 to 2000worked
- 2000 to 2001worked
- 2001 to 2007studied
- 2001 to 2008worked
- 2006 to 2007worked
- 2008 to 2009
- 2009 to 2011
- 2011 to 2011
- from 2012studied
- 2012 to 2017
- 2017 to 2018worked
- 2018 to 2020worked
- from 2022worked
- undatedstudied
Sat beside the lineage1
referee, not advisor
- cited by a thesis recordreferee · 2019 · Universität Potsdam · doctoral