E-Mail: johannes-christian.schuster(at)stud.uni-bamberg.de
Johannes Schuster ist Masterstudent im Fach Angewandte Informatik und studentische Hilfskraft am Lehrstuhl für KI-Systementwicklung. Er beschäftigt sich mit dem automatischen Theorembeweisen für Logik höherer Stufe und entwickelt zugehörige Infrastruktur auf diesem Gebiet in der Programmiersprache Elixir, mit Relevanz für Forschung und Lehre. Während seines Studiums beschäftigt er sich mit einem breiten Spektrum von KI-Methoden einschließlich Deep Learning, natürliche Sprachverarbeitung, mathematische Grundlagen und formale Methoden.
In seiner Freizeit ist Johannes vor allem musikalisch aktiv und begeisterter Cellist im Universitätsorchester.
Profile: LinkedIn, GitHub, persönliche Website
