Michał Skrzypczak

Descriptive set theoretic methods in automata theory (Descriptive set theoretic methods in automata theory)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Dec. 18, 2014

Supervisors

• prof. dr hab. Mikołaj Bojańczyk
• dr hab. Igor Walkiewicz (Universite de Bordeaux)

Reviewers

• dr hab. Leszek Kołodziejczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
• prof. Jacques Duparc (Universite de Lausanne)

Documents

• Thesis