Bartosz Bednarczyk (Preferred)
Bartosz Bednarczyk
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
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