I am a PhD student at the department of philosophy in the group of Prof. Dr. Thomas Müller. My PhD is funded by the German Academic Scholarship Foundation (Studienstiftung des deutschen Volkes). Moreover, I am employed as “akademische Mitarbeiterin” at the project “Suspending doxastically“ of Dr. Verena Wagner (Baden-Württemberg Stiftung) and I am a member of the scientific network “Thinking about Suspension” (DFG, coordinated by Verena Wagner and Alexandra Zinke).
My PhD project lies at the interface between Philosophy and Computer Science. I explore the possibilities of implementing the philosophical concept of suspension of judgement into systems of artificial intelligence (AI). Currently, AI systems are mostly designed to produce definite and forced decisions even in conflicting situations which leads to problematic results: sometimes the decisions are made arbitrarily and are thus not justified and explainable. Implementing the option of suspending judgement can provide the systems with a third, neutral option that is more than the absence of a decision. In my project, I investigate the formal representation of suspension both in logic-based AI and in Machine Learning systems.
Before starting my PhD, I studied mathematics and philosophy (state examination) at the University of Konstanz. During my studies, I spent an exchange semester at the University of Oslo and another semester at the University of Tromsø, Norway. In my thesis “The Fixed Points of Belief and Knowledge”, I discussed formal theories of truth and self-referential paradoxes involving epistemic notions. Based on Kripke’s theory of truth, I developed a Fixed Point Theory in which Liar-like paradoxes involving the concepts of belief and knowledge can be handled properly.
In general, I am interested in formal and mathematical methods in theoretical philosophy. In particular, I like to work in the fields of formal epistemology, logic, philosophy of language, and philosophy of mathematics. I am a member of the Mathe Initative Bodensee und I work voluntarily at the initiative KI macht Schule.
Teaching
WiSe 2022/23 (Universität Konstanz)
2st. Hauptseminar, Blockseminar „Grundlagen Künstlicher Intelligenz und ihre Anwendung in allen Schulfächern“ (mit Dr. Lothar Sebastian Krapp, Franziska Schropp, Moritz Link)
WiSe 2021/22 (Universität Konstanz)
2st. Hauptseminar, Blockseminar „Grundlagen Künstlicher Intelligenz und ihre Anwendung in allen Schulfächern“ (mit Dr. Lothar Sebastian Krapp, Franziska Schropp, Moritz Link)
SoSe 2021 (Universität Konstanz)
2st. Proseminar "Saul Kripke: Name und Notwendigkeit" (mit Dr. Verena Wagner)
WiSe 2020/21 (Universität Konstanz)
2st. Tutor „Logisch-semantische Propädeutik“ (Dr. Verena Wagner)
SoSe 2020 (Universität Konstanz)
2st. Tutor „Kernkurs 2: Erkenntnistheorie“ (Prof. Dr. Leon Horsten)
WiSe 2019/20 (Universität Konstanz)
2st. Tutor „Logisch-semantische Propädeutik“ (Dr. Verena Wagner)
SoSe 2019 (Universität Konstanz)
2st. Tutor „Kernkurs 2: Erkenntnistheorie“ (PD Dr. Jochen Briesen)
SoSe 2018 (Universität Konstanz)
2st. Tutor „Kernkurs 2: Erkenntnistheorie“ (Prof. Dr. Wolfgang Spohn)
WiSe 2017/18 (Universität Konstanz)
2st. Tutor „Logisch-semantische Propädeutik“ (Prof. Dr. Wolfgang Spohn)
WiSe 2017/18 (Universität Konstanz)
2st. Tutor „Kernkurs 1: Grundbegriffe der praktischen Philosophie“ (Prof. Dr. Jacob Rosenthal)
SoSe 2017 (Universität Konstanz)
2st. Tutor „Lineare Algebra 2“ (Prof. Dr. Claus Scheiderer)
WiSe 2016/17 (Universität Konstanz)
2st. Tutor „Lineare Algebra 1“ (Prof. Dr. Claus Scheiderer)
Lectures
Suspension and Higher-Order Reasoning in Default Logic
Vielberth Workshop 2023 on Trivalent Suspension, Uncertainty and Reasoning with Conditionals
31.08.2023, 17:10 - 18:00 p.m.
Regensburg
Philosophical Considerations on Abstaining Machine Learning
MCMP Workshop on Epistemology and Theory of Machine Learning
23.03.2023, 12:00 - 12:45 p.m.
Munich
Suspension in Machine Learning Systems?
Eleventh International Congress of the Society for Analytic Philosophy (GAP.11)
15 September 2022, 11:15 a.m. - 12:00 p.m.
Berlin
Suspension in AI Systems
Thinking About Suspension - Perspectives on Neutrality
08 July 2022, 11:15 a.m. - 12:15 p.m.
Konstanz
Suspension of Judgement and AI
7th Stockholm Graduate Conference
10 December 2021, 11:00 a.m. - 12:30 p.m.
Stockholm
Suspension of Judgment and Explainable AI
Philosophy of Science meets Machine Learning
11 November 2021, 10:10 - 10:50 a.m.
Tübingen
Suspension of Judgement and AI
Salzburg Conference for Young Analytic Philosophy 2021 (SOPhiA)
11 September 2021, 3:20 - 3:50 p.m.
Salzburg
Indecision in Artificial Intelligence
Congress of the Swiss Philosophical Society
29 August 2021, 10:05 - 10:30 a.m.
Lugano
Forms and Norms of Indecision in Argumentation Theory
DEON2020/21: 15th International Conference on Deontic Logic and Normative Systems
22 July 2021, 3:00 - 3:30 p.m.
MCMP/LMU Munich
Publications
2023, The Fixed Points of Belief and Knowledge. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzad016
2023, On Floating Conclusions. Deontic Logic and Normative Systems, 16th International Conference, DEON 2023. College Publications. Edited by Juliano Maranhão, Clayton Peterson, Christian Straßer, Leendert van der Torre. pp. 199–215. (with Jan Broersen and Henry Prakken).
2022, On the pure logic of justified belief. Synthese 200, 425. https://doi.org/10.1007/s11229-022-03905-6 (with Leon Horsten).
2021, Forms and Norms of Indecision in Argumentation Theory. Deontic Logic and Normative Systems, 15th International Conference, DEON 2020/2021. College Publications. Edited by Fenrong Liu, Alessandra Marra, Paul Portner, Frederik Van De Putte. pp. 394–413.
Research Stays
01/2024 - 06/2024 Research stay at Stanford University
with Krista Lawlor and Thomas Icard.
04/2023 - 05/2023 Research stay at the University of Maryland
with John Horty and Ilaria Canavotto.
02/2023 - 03/2023 Research stay at Utrecht University
with Jan Broersen (Philosophy) and Henry Prakken (Computer Science)
funded by the Human-centered Artificial Intelligence focus area.