Bartosz Jan Bednarczyk
I lead the FWF project Fingo at TU Wien and am an assistant professor at the University of Wrocław (currently on a 20% workload). Before taking up my full-time position in Wrocław, I defended my PhD thesis at TU Dresden under the main supervision of Sebastian Rudolph, and before that I studied for the Parisian Master of Research in Computer Science at ENS Paris-Saclay under the supervision of Stéphane Demri.
I am a logician working in applied dendrology. Most of my current research concerns the use of trees, cacti and flowers in finite-model reasoning for dynamic logics (extensions of PDL, the modal μ-calculus, and more). More broadly, I am interested in finite model theory and the theory of computation.
I am actively looking for prospective Master's and PhD students interested in joint research on the complexity and decidability of logics. Drop me a line if you are interested (some modest scholarships are available).
Latest news
-
19 May 2026Consider submitting to Gandalf 2026!
-
11 Dec 2025I 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 2025I 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 2025I sucessfully (co)organized DL Workshop 2025 in Opole and was elected to the DL Workshop Steering Committee.
-
10 July 2025My 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 2025I 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 2025I am a local co-organizer of Description Logic Workshop 2025 and VLDB Summer School 2025. You are all encouraged to participate!
-
4 Dec 2024I 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 2024Yesterday 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
-
16 Apr 2024New sole-author paper "Data Complexity in Expressive Description Logics With Path Expressions" accepted to IJCAI 2024.
-
10 Jul 2023New 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 2023My 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, preferred)
- bartosz.bednarczyk at tuwien.ac.at (work')
- bartosz.jan.bednarczyk at gmail dot com (private)
Visiting address (PL)
Instytut Informatyki Uniwersytetu Wrocławskiego
Room 324 (3rd floor)
Fryderyka Joliot-Curie 15, 50-383 Wrocław
Visiting address (AT)
TU Wien Informatics
Room HE0340
Favoritenstraße 9-11, 1040 Vienna, Austria