Since November 1, 2022, Prof. Jean Christoph Jung has been a new member of the chair. Prof. Jung received his PhD from the University of Bremen in 2014 and was employed there as a research assistant from 2014 to 2020. From 2020 to 2022, he was interim professor for Theoretical Computer Science at the University of Hildesheim. He conducts research mainly in logic-based artificial intelligence, in logic in computer science, and on the combination of logic and learning. At Chair 1 - Logic in Computer Science, Prof. Jung will lead the research group "Knowledge-Based Systems“.