EN

Michał Skrzypczak


Michał Skrzypczak

Zainteresowania naukowe

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.

Curriculum Vitae - 26 marca 2021
MGPMathematics Genealogy Project

powrót
ostatnia modyfikacja: 17:38 07.10.2022