profile picture

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.

Latest news

  • 4 Dec 2024
    I am happy to announce that I was granted funding by Polish National Science Centre via a single-year Preludium Grant "Decision Problems for Logics with Weak Forms of Recursion". Surprisingly, my proposal was ranked first among all other computer science proposals. My research will be dedicated to solving some leftovers from my PhD thesis (complexity of some unsolved problems concerning extensions of Propositional Dynamic Logic). Drop me a line if you are interested in collaboration or in writing a thesis!
  • 1 Oct 2024
    Yesterday I finished my work at TU Dresden. Now I will work as an assistant professor (adiunkt) at University of Wrocław.
    From the beginning of the next year I will also be partially employed by Magdalena Ortiz at TU Wien.
  • 25 Jun 2024
    I successfully defended my PhD thesis (with distinction!). The thesis can be found here while the slides from my defence are available here. PhD certificate is given (here).
  • 16 Apr 2024
    New sole-author paper "Data Complexity in Expressive Description Logics With Path Expressions" accepted to IJCAI 2024.
  • 10 Jul 2023
    New sole-author paper "Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features" accepted to JELIA 2023. It also received the best student paper award. The extended version of this paper will appear in LMCS.
  • 21 Apr 2023
    My new paper "On the of Limits of Decision: the Adjacent Fragment of First-Order Logic", written with Ian Pratt-Hartmann and Daumantas Kojelis will be presented at ICALP 2023.

Contact

  •   bartek at cs.uni.wroc.pl (work)
  •   bartosz.jan.bednarczyk at gmail dot com (private)

  •  Visiting address (PL)
    Instytut Informatyki Uniwersytetu Wrocławskiego (II UWr)
    Room 324 (3rd floor)
    Fryderyka Joliot-Curie 15, 50-383 Wrocław