Moje badania naukowe koncentrują się na związkach teorii automatów i logiki. Jestem zainteresowany głównie strukturami nieskończonymi, monadyczną logiką drugiego rzędu, jej fragmentami i rozszerzeniami. Staram się porównywać siłę wyrazu różnych formalizmów, szukam też ciekawych własności strukturalnych określonych klas języków. Interesują mnie zagadnienia uniformizacji i jednoznaczności. Chętnie korzystam z wyników o determinacji gier, metod kompozycyjnych i algebraicznych.
Mathematics Genealogy Project