News from the research group Knowledge-Based Systems of October 13, 2021

New Member: Lukas Gerlach

Lukas studied computer science at the TU Dresden and specialized in theoretical computer science, more specifically in complexity theory, database theory and logics. In September 2021, he defended his diploma thesis about 'Chase-Based Computation of Cores for Existential Rules', which was supervised by Prof. Dr. Markus Krötzsch.

During his studies, Lukas worked as a software developer at 3m5.

Good luck, Lukas!