Logika matematyczna, logika w informatyce, zwłaszcza logiki temporalne i stałopunktowe. Teoria automatów, szczególnie automaty na drzewach nieskończonych -- problemy rozstrzygalności w powiązaniu z teorią rekursji, topologią teoriomnogościową i teorią miary. Teoria gier w zastosowaniu do weryfikacji systemów, szczególnie gry na grafach o potencjalnie nieskończonym czasie trwania. Teoria złożoności obliczeniowej i jej związki z teorią informacji. Matematyczne aspekty analizy muzycznej.

Mathematical logic, logic in computer science, in particular temporal and fixed-point logics. Automata theory, especially automata on infinite trees -- decidability questions and relation to recursion theory, set-theoretic topology and measure theory. Game theory in application to system verification, in particular games on graphs of possibly infinite duration. Computational complexity theory and its connections with information theory. Mathematical aspects of musical analysis.

Rozstrzygalność problemów decyzyjnych dotyczących automatów na drzewach nieskończonych, w tym problem obliczania miary. Algorytmy dla rachunku punktów stałych.

Decidability of decision problems concerning automata on infinite trees, in particular computation of measure. Algotihms for fixed-point calculus.