News59: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|Titel DE=Neuer Mitarbeiter: Lukas Gerlach | |Titel DE=Neuer Mitarbeiter: Lukas Gerlach | ||
|Titel EN=New Member: Lukas Gerlach | |Titel EN=New Member: Lukas Gerlach | ||
|Beschreibung DE=Lukas hat Informatik an der [ | |Beschreibung DE=Lukas hat Informatik an der [https://tu-dresden.de/ TU Dresden] studiert und sich dabei in der theoretischen Informatik, speziell in Komplexitätstheorie, Datenbanktheorie und Logik, vertieft. Seine [https://iccl.inf.tu-dresden.de/web/Misc3071 Diplomarbeit] zum Thema 'Chase-Based Computation of Cores for Existential Rules' bei Prof. Dr. [[Markus Krötzsch]] hat er im September 2021 erfolgreich verteidigt.<br> <br> | ||
Während seines Studiums hat Lukas als Softwareentwickler bei der Webagentur [https://www.3m5.de/ 3m5.] gearbeitet.<br> <br> | Während seines Studiums hat Lukas als Softwareentwickler bei der Webagentur [https://www.3m5.de/ 3m5.] gearbeitet.<br> <br> | ||
Herzlich willkommen, Lukas! | Herzlich willkommen, Lukas! | ||
|Beschreibung EN=Lukas studied computer science at the [ | |Beschreibung EN=Lukas studied computer science at the [https://tu-dresden.de/ 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]].<br> <br> | ||
During his studies, Lukas worked as a software developer at [https://www.3m5.de/ 3m5.]<br> <br> | During his studies, Lukas worked as a software developer at [https://www.3m5.de/ 3m5.]<br> <br> | ||
Aktuelle Version vom 13. Oktober 2021, 09:25 Uhr
Neuigkeit aus der Forschungsgruppe Knowledge-Based Systems vom 13. Oktober 2021
Neuer Mitarbeiter: Lukas Gerlach
Lukas hat Informatik an der TU Dresden studiert und sich dabei in der theoretischen Informatik, speziell in Komplexitätstheorie, Datenbanktheorie und Logik, vertieft. Seine Diplomarbeit zum Thema 'Chase-Based Computation of Cores for Existential Rules' bei Prof. Dr. Markus Krötzsch hat er im September 2021 erfolgreich verteidigt.
Während seines Studiums hat Lukas als Softwareentwickler bei der Webagentur 3m5. gearbeitet.
