profile picture

Bartosz Jan Bednarczyk

I am an assistant professor at the University of Wrocław and a part-time postdoctorial researcher at TU Wien. From April 2026, I will lead my own FWF Project in Vienna (Fingo). Prior to my full time position in Wrocław, 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. Currently most of my research concers dynamic logics (PDL, mu-Calculus etc.) with a strong emphasis on finite model reasoning. 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 (some modest scholarships are available).

Latest news

  • 11 Dec 2025
    I am happy to announce that together with Ian Pratt-Hartmann we will give a 5-day course on decidable fragments of first-order logic, hosted by ESSLLI (37th European Summer School in Logic, Language and Information).
  • 1 Dec 2025
    I was awarded a three-year FWF ESPRIT grant in Vienna for my project titled FINGO: Finite Graph Operating Automata Meet Dynamic Logics, expected to start on the 1st of April 2026. The project investigates finite satisfiability problem for extensions of dynamic logics, such as PDL and the Mu-calculus. Feel free to contact me if you are interested in collaborating! For a short project summary click here.
  • 11 Sep 2025
    I sucessfully (co)organized DL Workshop 2025 in Opole and was elected to the DL Workshop Steering Committee.
  • 10 July 2025
    My joint work with Emanuel Kieroński titled "Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards" has just been accepted to KR 2025. See you in Australia!
  • 1 Mar 2025
    I started a part-time job as a postdoctoral researcher at TU Wien, in a research project lead by Magdalena Ortiz. Looking forward to apply for my own project there!
  • 20 Feb 2025
    I am a local co-organizer of Description Logic Workshop 2025 and VLDB Summer School 2025. You are all encouraged to participate!
  • 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