CV

Staff Member

University of Bamberg (Chair for AI Systems Engineering, Prof. Christoph Benzmüller)

• Technical support for the courses AISE-DO-B (DevOps) and AISE-LKR-B (Logic-Based Knowledge Representation)
• Set up and run the Elixir/Livebook infrastructure for automated theorem proving used in teaching (AtpClient, tptp, Shot)
• Preparation of my doctorate

Teaching Assistant for Automation of Logical Reasoning

University of Bamberg (Chair for AI Systems Engineering, Prof. Christoph Benzmüller)

Teaching Assistant for Logic-Based Knowledge Representation

University of Bamberg (Chair for AI Systems Engineering, Prof. Christoph Benzmüller)

Teaching Assistant for Algorithms and Data Structures

University of Bamberg (Chair of Media Informatics, Prof. Andreas Henrich)

• Moved the course from Java to C

Teaching Assistant for Algorithms and Data Structures

University of Bamberg (Chair for Smart Environments, Prof. Diedrich Wolter)

M.Sc.

University of Bamberg

Applied Computer Science

• Grade: 1.0
• Thesis title: Extensionality and Instance-based Methods in Tableau-based Higher-Order Automated Theorem Proving
• Supervised by Prof. Dr. Christoph Benzmüller (Chair for AI Systems Engineering)
• Executable Livebook notebooks and typeset version archived at doi:10.5281/zenodo.22045933

B.Sc.

University of Bamberg

Applied Computer Science

• Thesis title: Visual Exploration of Sentiment and Keywords from Social Media Posts
• Supervised by Prof. Dr. Fabian Beck (Chair for Information Visualization)
• Minor in Experimental Psychology (18 ECTS)

Participant

Interdisciplinary College (IK) Spring School

• Attended intensive courses and lectures focusing on the intersection of artificial intelligence, neurosciences, and cognitive science.

Participant

International Workshop on Computational Ontology & Metaphysics & Winners' Symposium of the 2025 Kurt Gödel Essay Prize

Participant

Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL) @ FLoC 2026

Speaker

Workshop on Practical Aspects of Automated Reasoning (PAAR) @ FLoC 2026

• Topic: Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem
• slides
• demo files

Speaker

International Workshop on the Implementation of Logics (IWIL) @ LPAR-26

• Topic: Building Blocks for Reasoning on the BEAM
• slides
• demo notebook

Revision of the SZS Ontologies

TPTP World, with Prof. Dr. Geoff Sutcliffe (University of Miami)

• Ongoing revision of the SZS ontologies, the standard in which automated reasoning systems report their result status
• Formalisation of the success ontology in Isabelle/HOL, from which the hierarchy is derived and against which the published BNF is checked mechanically

Cellist

Orchestra and Chamber Orchestra of the University of Bamberg

• Active member of the cello section, participating in weekly rehearsals and regular public symphonic concerts.