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 i jej rozszerzeniami. Staram się porównywać siłę wyrazu różnych formalizmów, szukam też ciekawych własności strukturalnych określonych klas języków. Chętnie korzystam z narzędzi deskryptywnej teorii mnogości i metod kompozycyjnych.

Curriculum Vitae - 22 marca 2018
MGPMathematics Genealogy Project

powrót
ostatnia modyfikacja: 14:23 17.04.2018