CV

M.Sc. Angewandte Informatik. Forschungsinteressen sind automatisches Schließen, Logik höherer Stufe und neuro-symbolische KI.

Kontakt

Name Johannes C. Schuster
E-Mail johannes.c.schuster@proton.me
Website https://jcschuster.de
Geburtsdatum 9. Juli 2002
Pronomen er/ihm
Wohnort Bamberg

Berufserfahrung

  • Okt. 2026 –
    heute

    Bamberg

    Mitarbeiter
    Otto-Friedrich-Universität Bamberg (Lehrstuhl für KI-Systementwicklung, Prof. Christoph Benzmüller)
    • Technische Mitbetreuung der Lehrveranstaltungen AISE-DO-B (DevOps) und AISE-LKR-B (Logic-Based Knowledge Representation)
    • Aufbau und Betrieb der Elixir/Livebook-Infrastruktur für automatisches Beweisen in der Lehre (AtpClient, tptp, Shot)
    • Vorbereitung der Promotion
  • Apr. 2026 –
    Sep. 2026

    Bamberg

    Tutor für Automation of Logical Reasoning
    Otto-Friedrich-Universität Bamberg (Lehrstuhl für KI-Systementwicklung, Prof. Christoph Benzmüller)
  • Okt. 2025 –
    März 2026

    Bamberg

    Tutor für Logic-Based Knowledge Representation
    Otto-Friedrich-Universität Bamberg (Lehrstuhl für KI-Systementwicklung, Prof. Christoph Benzmüller)
  • Apr. 2024 –
    Sep. 2025

    Bamberg

    Tutor für Algorithmen und Datenstrukturen
    Otto-Friedrich-Universität Bamberg (Lehrstuhl für Medieninformatik, Prof. Andreas Henrich)
    • Umstellung des Kurses von Java auf C
  • Apr. 2023 –
    Sep. 2023

    Bamberg

    Tutor für Algorithmen und Datenstrukturen
    Otto-Friedrich-Universität Bamberg (Lehrstuhl für Smart Environments, Prof. Diedrich Wolter)

Ausbildung

  • Okt. 2024 –
    Sep. 2026

    Bamberg

    M.Sc.
    Otto-Friedrich-Universität Bamberg
    Angewandte Informatik
    • Note: 1,0
    • Titel der Masterarbeit: Extensionality and Instance-based Methods in Tableau-based Higher-Order Automated Theorem Proving
    • Betreut von Prof. Dr. Christoph Benzmüller (Lehrstuhl für KI-Systementwicklung)
    • Ausführbare Livebook-Notebooks und gesetzte Fassung archiviert unter doi:10.5281/zenodo.22045933
  • Okt. 2021 –
    Dez. 2024

    Bamberg

    B.Sc.
    Otto-Friedrich-Universität Bamberg
    Angewandte Informatik
    • Titel der Bachelorarbeit: Visual Exploration of Sentiment and Keywords from Social Media Posts
    • Betreut von Prof. Dr. Fabian Beck (Lehrstuhl für Informationsvisualisierung)
    • Nebenfach Allgemeine Psychologie (18 ECTS)

Wissenschaftliche Aktivitäten

  • März 2025

    Günne

    Teilnehmer
    Interdisciplinary College (IK) Spring School
    • Kurse und Vorlesungen an der Schnittstelle von künstlicher Intelligenz, Neurowissenschaften und Kognitionswissenschaft.
  • Dez. 2025

    Bamberg

    Teilnehmer
    International Workshop on Computational Ontology & Metaphysics & Winners' Symposium of the 2025 Kurt Gödel Essay Prize
  • 24. Juli 2026

    Lissabon, Portugal

    Teilnehmer
    Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL) @ FLoC 2026
  • 25. Juli 2026

    Lissabon, Portugal

    Vortragender
    Workshop on Practical Aspects of Automated Reasoning (PAAR) @ FLoC 2026
    • Thema: Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem
    • Folien
    • Demo-Dateien

Beiträge zu Standards

  • 2026 – heute

    Überarbeitung der SZS-Ontologien
    TPTP World, mit Prof. Dr. Geoff Sutcliffe (University of Miami)
    • Laufende Überarbeitung der SZS-Ontologien, des Standards, in dem automatische Beweiser ihren Ergebnisstatus melden
    • Formalisierung der Erfolgsontologie in Isabelle/HOL, aus der die Hierarchie abgeleitet und gegen die die veröffentlichte BNF maschinell geprüft wird

Außeruniversitäres Engagement

  • Sep. 2021 –
    heute

    Bamberg

    Cellist
    Orchester und Kammerorchester der Universität Bamberg
    • Mitglied der Cellogruppe mit wöchentlichen Proben und regelmäßigen öffentlichen Sinfoniekonzerten.

Kenntnisse

Programmiersprachen & Werkzeuge (Fortgeschritten): Elixir, Python (PyTorch), Isabelle/HOL, Prolog, JavaScript (D3.js, Svelte), Java, C
Theoretische Schwerpunkte (Master): Automatisches Theorembeweisen, Logik höherer Stufe, Maschinelles Lernen, Neuro-symbolische KI, Informationsvisualisierung, Funktionale Programmierung, Verteilte Systeme

Sprachen

Deutsch : Muttersprache
Englisch : Fließend (C1)