Jonas Philipp Haldimann

Short CV

since 2024 Post-doctoral researcher, TU Wien and University of Cape Town
Member of the DBAI Group at the Institute of Logic and Computation of the TU Wien
Member of the AIRU at the University of Cape Town
2024 Doctor of Natural Sciences (Dr. rer. nat.) in computer science, FernUniversität in Hagen
Dissertation: "Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds –
Exploring a Landscape of Inductive Inference Operators", supervised by Prof. Christoph Beierle
2019–2024 Research assistant and doctoral student, FernUniversität in Hagen
Member of the Knowledge-Based Systems Group lead by Prof. Christoph Beierle
Associate member of the Artificial Intelligence Group lead by Prof. Matthias Thimm
2022 Bachelor of Science (B.Sc.) in Mathematics, TU Dortmund University
Bachelors thesis: "Vergleich zweier Algorithmen zur Optimierung binärer Sequenzen mit beschränkter Variation", supervised by Prof. Christoph Buchheim
2020 Master of Science (M.Sc.) in Computer Science, TU Dortmund University
Masters thesis: "Syntax Splitting für iterierte Kontraktionen", supervised by Prof. Gabriele Kern-Isberner
2017 Bachelor of Science (B.Sc.) in Computer Science, TU Dortmund University
Bachelors thesis: "Reaktive Antwortmengenprogrammierung – formale Eigenschaften und logistische Anwendung", supervised by Prof. Gabriele Kern-Isberner