CV

Master's graduate in Applied Computer Science specializing in the intersection of rigorous formal methods and modern artificial intelligence. Core research interests include automated reasoning, higher-order logics, and neuro-symbolic AI.

Contact Information

Name Johannes C. Schuster
Email johannes.c.schuster@proton.me
Date of Birth July 9, 2002
Pronouns he/him
Location Bamberg, Germany

Experience

  • 2026 - present

    Bamberg, Germany

    Teaching Assistant for Automation of Logical Reasoning
    University of Bamberg (Chair for AI Systems Engineering, Prof. Christoph Benzmüller)
  • 2025 - 2026

    Bamberg, Germany

    Teaching Assistant for Logic-Based Knowledge Representation
    University of Bamberg (Chair for AI Systems Engineering, Prof. Christoph Benzmüller)
  • 2024 - 2025

    Bamberg, Germany

    Teaching Assistant for Algorithms and Data Structures
    University of Bamberg (Chair of Media Informatics, Prof. Andreas Henrich)
  • 2023 - 2023

    Bamberg, Germany

    Teaching Assistant for Algorithms and Data Structures
    University of Bamberg (Chair for Smart Environments, Prof. Diedrich Wolter)

Education

  • 2024 - present

    Bamberg, Germany

    M.Sc.
    University of Bamberg
    Applied Computer Science
    • 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)
  • 2021 - 2024

    Bamberg, Germany

    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)

Academic Activities

  • 2025 - 2025

    Günne, Germany

    Participant
    Interdisciplinary College (IK) Spring School
    • Attended intensive courses and lectures focusing on the intersection of artificial intelligence, neurosciences, and cognitive science.

Extracurricular Activities

  • 2021 - present

    Bamberg, Germany

    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.

Skills

Programming Languages & Tools (Advanced): Python, PyTorch, Elixir, Isabelle/HOL
Theoretical Concepts (Master): Automated Theorem Proving, Higher-Order Logics, Machine Learning, Neuro-Symbolic AI, Functional Programming, Distributed Systems

Languages

German : Native speaker
English : Fluent (C1)