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 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 tools from descriptive set theory and composition methods.

Curriculum Vitae - January 30th 2019
MGPMathematics Genealogy Project

last modification: 19:32 18.02.2019