E-Mail: johannes-christian.schuster(at)stud.uni-bamberg.de
Johannes Schuster is a master’s student in applied computer science and teaching assistant at the chair for AI systems engineering. He works on automated theorem proving for higher-order logic, developing corresponding infrastructure and reasoning tools in the Elixir programming language, relevant for both research and teaching. During his studies, he focused on a wide range of AI methods, including deep learning, natural language processing, mathematical foundations, and formal methods.
In his free time, Johannes is primarily involved with music and is an enthusiastic cellist in the university orchestra.
Profiles: LinkedIn, GitHub, personal website
