Der Lehrstuhl Informatik 1 freut sich über Verstärkung
Prof. Jung hat 2014 an der Universität Bremen promoviert und war von 2014 bis 2020 dort als wissenschaftlicher Mitarbeiter beschäftigt. Von Oktober 2020 bis Oktober 2022 hat er die Professur für Theoretische Informatik an der Stiftung Universität Hildesheim vertreten. Er forscht insbesondere zu den Themen Logik-basierte künstliche Intelligenz, Logik in der Informatik und der Kombination von Logik und Lernen. Am Lehrstuhl Informatik 1 wird Prof. Jung die Arbeitsgruppe „Wissensbasierte Systeme“ leiten.