Jean Christoph Jung

Contact

+49 421 218 64433
jeanjung@uni-bremen.de
GPG public key

Visitors

Cartesium, Room 1.55
Enrique-Schmidt-Str. 5
28359 Bremen


Postal

Universität Bremen
Fachbereich 03
Postfach 330440
28334 Bremen

Currently, I am interim professor for theoretical computer science at the University of Hildesheim. I am postdoctoral researcher at the Theory of Artificial Intelligence Group at the Universität Bremen. In October 2014, I obtained my Ph.D. under the supervision of Carsten Lutz. In 2017/18 I spent four months as a Post-doctoral researcher in the DTAI group at KU Leuven, under the supervision of Luc De Raedt. Before, I studied Computational Logic at the Technische Universität Dresden and the Universidade Nova de Lisboa and received my Master degree in 2008. Moreover, I have been working at Bremen's Group for Computer Architecture from 2009-2010.

My research interests are centered around knowledge representation and reasoning with description logics and decidable fragments of first-order logic. In particular, I am interested in:

Publications

Find the list of my publications at DBLP or Google Scholar or at our groups publication site.
PhD Thesis: here

Teaching

Term Course Role
Winter 2020 Beschreibungslogik Lecturer
Winter 2020 Komplexitätstheorie Lecturer
Winter 2020 Seminar SAT Solving Organizer
Summer 2020 Beschreibungslogik Lecturer
Winter 2019 Logik Lecturer
Winter 2019 Induktives Logisches Programmieren Organizer
Summer 2019 Komplexitätstheorie Lecturer
Winter 2018 Theoretische Informatik 1 Teaching Assistant
Summer 2018 Einführung in die Datenbank-Theorie Lecturer
Summer 2017 Seminar "Zählen in der Informatik" Organizer
Summer 2017 Theoretische Informatik 2 Teaching Assistant
Winter 2016 Einführung in die Datenbank-Theorie Lecturer
Winter 2016 Theoretische Informatik 1 Teaching Assistant
Summer 2016 Seminar "Big Data Mining" Organizer
Summer 2016 Theoretische Informatik 2 Teaching Assistant
Winter 2015 Theoretische Informatik 1 Teaching Assistant
Summer 2015 Theoretische Informatik 2 Teaching Assistant
Summer 2014 Theoretische Informatik 2 Teaching Assistant
Winter 2011 Theoretische Informatik 1 Teaching Assistant
Winter 2010 Logik Teaching Assistant

Activities