Bartosz Jan Bednarczyk

I am an assistant professor at the University of Wrocław. Prior to my full time position there, I defended my PhD thesis at TU Dresden (with Sebastian Rudolph being the main supervisor) and studied "Parisian Master of Research in Computer Science" at ENS Paris-Saclay, under the supervision of Stéphane Demri.

My work focus on computational 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. More broadly, I'm interested in finite model theory and theory of computation.

I am actively looking for prospective Master/PhD students interested in joint research in complexity and decidability of logics. Drop me a line if you are interested.