Hi!I'm Lukas, a theoretical computer science researcher / PhD student in the Knowledge-Based Systems Group at the TU Dresden. My research (r)evolves all around rule-based reasoning and knowledge representation techniques. In particular, my focus is on Datalog and existential rules. Furthermore, I take an interest in interactive theorem proving; mainly using Lean. As a student, I have been working as a (frontend) web developer allowing me to grow many of my practical (programming) skills. I also volunteer at my local church as a sound engineer.