New Member: Lukas Gerlach
From International Center for Computational Logic
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.