Bartosz Bednarczyk (Preferred)
Bartosz Bednarczyk
Postdoc, Technische Universität Wien
Assistant Professor, University of Wrocław
Joined
August 2024
Names
Emails
****@tu-dresden.de (Confirmed)
****@cs.uni.wroc.pl (Confirmed)
****@cs.uni.wroc.pl (Confirmed)
Personal Links
Career & Education History
Postdoc
Technische Universität Wien (tuwien.ac.at)
2025 – Present
Assistant Professor
University of Wrocław (uwr.edu.pl)
2024 – Present
PhD student
Technische Universität Dresden (tu-dresden.de)
2019 – 2024
Advisors, Relations & Conflicts
Expertise
description logics
2018 – Present
formal verification
2017 – Present
decidable fragments of first-order logic
2017 – Present
modal and temporal logics
2017 – Present
Publications
Co-Authors
- Alessio Mansutti
- Anna Pacanowska
- Daumantas Kojelis
- Emanuel Kieronski
- Franz Baader
- Ian Pratt-Hartmann
- Jakub Michaliszyn
- Julien Grange
- Maja Orlowska
- Mateusz Urbanczyk
- Oskar Fiuk
- Piotr Ostropolski-Nalewaja
- Piotr Witkowski
- Raul Fervari
- Reijo Jaakkola
- Robert Ferens
- Sebastian Rudolph
- Stéphane Demri
- Tony Tan
- Witold Charatonik