The chair 1 - Logic in Computer Science is pleased to welcome a new member
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 [...] 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“ . …