Teoria automatów, teoria modeli skończonych, obliczeniowa geometria nieeuklidesowa, algorytmy, teoria złożoności obliczeniowej

Automata theory, finite model theory, computational non-Euclidean geometry, algorithms, computational complexity theory

grant NCN "obliczeniowe aspekty geometrii nieeuklidesowej"

NCN grant "computational aspects of non-Euclidean geometry"