Email:johannes.schuster(at)uni-bamberg.de
Johannes Schuster holds a master’s degree in Applied Computer Science from the University of Bamberg and works at the Chair of AI Systems Engineering. There, he assists the secretary’s office on a temporary basis and manages the chair’s teaching infrastructure. His work focuses on automated theorem proving for higher-order logic, and he develops related infrastructure in the Elixir programming language for use in research and teaching. He is currently preparing for a doctorate in this field. During his studies, he worked across a broad range of AI methods, including deep learning, natural language processing, mathematical foundations and formal methods. From 1 October 2026 to 31 March 2027, he is covering for Cornelia Geisler in the secretary’s office.
In his free time, Johannes is mainly active in music. He is an enthusiastic cellist and plays in the University Orchestra and the Chamber Orchestra.
Room: WE5/05.079
Office hours: Mon–Fri 9:30-12:30, or by appointment
Profiles: LinkedIn, GitHub, personal website
