PL

Michał Skrzypczak


Michał Skrzypczak

Scientific interests

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

Curriculum Vitae - March 26th 2021
MGPMathematics Genealogy Project

back
last modification: 14:32 12.06.2024