Michał Skrzypczak

• I was born on October 4th, 1986 in Warsaw.
• I graduated class '86 B (Matex) in S. Staszic XIV high school in Warsaw.
• January 26th, 2005 I received a driving licence in category B.
• September 28th, 2009 I received Highmountain Climbers Card no. 438, issued by Polish Mountaineering Association.
• September 7th, 2010 I was awarded MSc. in Mathematics at University of Warsaw.
• September 24th, 2012 I was awarded MSc. in Computer Science at University of Warsaw.
• December 4th, 2014 I defended a PhD thesis in Mathematics (specialisation Computer-Science) at University of Warsaw.
• August 28th, 2018 I received Certificate of Qualification of a Paraglider Pilot, issued by Polish Civil Aviation Authority.
• June 25th, 2020 I was awarded habilitation in the discipline of Informatics at University of Warsaw.
• Currently I am an associate professor in Institute of Informatics, University of Warsaw.

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.

Mathematics Genealogy Project