I am a logician, currently employed by University of Wroclaw. My job is to study the interplay between formal logic and dendrology. Since October 2018, I am a principal investigator in a Polish Ministry of Science and Higher Education grant titled "Logics with generalized counting quantifiers for data-aware processes and database systems".
I obtained a BSc in computer science from University of Wrocław under the supervision of Witold Charatonik. Then, I moved to Paris for a year, where I completed (with honors) M1 level in theoretical computer science at ENS Paris-Saclay. Shortly before moving back to Wrocław, I was working at University of Oxford with Michael Cadilhac on algebraic characterization of regular tree languages and circuit complexity.