Johannes C. Schuster

Master's Graduate @ University of Bamberg. Automated Reasoning & Machine Learning

Bewerbung.jpg

I’m currently completing my Master’s degree in Applied Computer Science at the University of Bamberg, with a research focus on artificial intelligence. My thesis is supervised by Prof. Dr. Christoph Benzmüller (chair for AI Systems Engineering) where I also serve as a Teaching and Research Assistant.

Throughout my studies, I have focussed heavily on the theoretical foundations of machine learning and automated theorem proving. My core expertise lies in higher-order logics, the mathematics for machine learning, natural language processing, functional programming and neuro-symbolic AI.

Upon finishing my Master’s, I am seeking Ph.D. or research opportunities in the fields of automated reasoning, machine learning, and their intersection.

news

Jul 02, 2026 Our paper at PAAR’26 is accepted and a camera-ready version available at ResearchGate. I will present this work at the PAAR workshop in Lisbon on July 25.
Apr 01, 2026 Teaching Assistant for AISE-Auto – Automation of Logical Reasoning offered by Prof. Dr. Christoph Benzmüller during summer semester 2026.

selected publications

  1. Conf./WS
    Elixir meets TPTP: Bringing Automated Reasoning to the BEAM ecosystem
    Johannes Schuster, David Fuenmayor, and Christoph Benzmüller
    In Proceedings of the 10th Workshop on Practical Aspects of Automated Reasoning (PAAR 2026), July 25, 2026, Lisbon, Portugal, Jul 2026
    forthcoming
    PDF