Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Computational Logic
From April 2019, I am a PhD student at TU Dresden and at the University of Wrocław, supervised jointly by Sebastian Rudolph (Dresden) and Emanuel Kieroński (Wrocław). Before joining Dresden I studied "Parisian Master of Research in Computer Science" at ENS Paris-Saclay, under the supervision of Stephane Demri.
My work focus on different aspects of ontology mediated data access and applications of decidable fragments of first-order logic (like existential rules or guarded-fragments) to database-inspired reasoning problems. My research is rather theoretical in nature.
I have plenty of bachelor/master thesis topics and research projects ideas for ambitious students (related to model theory and decidable logics), so feel free to send me an email if you are interested. All the topics require some taste of theoretical computer science and logic, so it would be nice if you completed the "advanced logic" course or/and "description logics" course.