E-Mail:johannes.schuster(at)uni-bamberg.de
Johannes Schuster hat sein Masterstudium der Angewandten Informatik an der Universität Bamberg abgeschlossen und ist Mitarbeiter am Lehrstuhl für KI-Systementwicklung. Dort unterstützt er als Aushilfe das Sekretariat und betreut die Lehrinfrastruktur des Lehrstuhls. Er beschäftigt sich mit dem automatischen Theorembeweisen für Logik höherer Stufe und entwickelt zugehörige Infrastruktur in der Programmiersprache Elixir, mit Relevanz für Forschung und Lehre. Derzeit bereitet er sich auf seine Promotion in diesem Gebiet vor. Im Studium hat er sich mit einem breiten Spektrum von KI-Methoden befasst, darunter Deep Learning, natürliche Sprachverarbeitung, mathematische Grundlagen und formale Methoden. Von 1.10.2026 bis 31.3.2027 vertritt er Cornelia Geisler im Sekretariat.
In seiner Freizeit ist Johannes vor allem musikalisch aktiv und spielt als begeisterter Cellist im Universitäts- und Kammerorchester.
Raum: WE5/05.079
Sprechzeiten: Mo-Fr 9:30-12:30 oder nach Vereinbarung
Profile: LinkedIn, GitHub, persönliche Website
