Moje zainteresowania naukowe koncentrują się na związkach teorii automatów i logiki. Badam głównie struktury nieskończone, monadyczną logikę drugiego rzędu i jej warianty. Staram się porównywać siłę wyrazu różnych formalizmów, szukam też ciekawych własności strukturalnych określonych klas języków. Chętnie korzystam z wyników o determinacji gier, metod kompozycyjnych i algebraicznych.

My research focuses on connections between automata theory and logic. I'm mainly interested in infinite structures, Monadic Second-Order logic and its extensions. I try to estimate expressive power of various formalisms, I also search for interesting structural properties of certain classes of languages. I willingly use results on determinacy of games, composition methods, and algebraic tools.

2017 – 2020 „Wydajne algorytmy dla słabych form niedeterminizmu”, grant NCN Sonata 2016/21/D/ST6/00491 2013 – 2015 „Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach”, grant NCN Preludium DEC-2012/05/N/ST6/03254

2017 – 2020 “Efficient algorithms for weak forms of non-determinism”, grant NCN Sonata 2016/21/D/ST6/00491 2013 – 2015 “Hierarchy-type problems for automata on infinite words and trees”, grant NCN Preludium DEC-2012/05/N/ST6/03254