Curriculum Vitae. Michał Skrzypczak. pokój 4058, LIAFA, budynek Sophie Germain Paris Cedex 13, Francja

Transkrypt

1 Curriculum Vitae Michał Skrzypczak Dane osobowe adres pokój 4058, LIAFA, budynek Sophie Germain Paris Cedex 13, Francja data urodzenia 4 października 1986 obywatelstwo www polskie mskrzypczak@mimuw.edu.pl Zainteresowania naukowe Informatyka teoria automatów, model checking Matematyka topologia, gry nieskończone Edukacja 2014 Doktorat z informatyki (z wyróżnieniem), Uniwersytet Warszawski 2012 Magisterium z informatyki (z wyróżnieniem), Uniwersytet Warszawski 2010 Magisterium z matematyki (z wyróżnieniem), Uniwersytet Warszawski Uniwersytet Warszawski, Wydział Matematyki Informatyki i Mechaniki, stacjonarne studia trzeciego stopnia z informatyki Uniwersytet Warszawski, Wydział Matematyki Informatyki i Mechaniki, jednoczesne studia informatyczno-matematyczne XIV LO im. S. Staszica w Warszawie, klasa o profilu matematycznym eksperymentalnym Staże naukowe V 2014 III 2013 XII 2012 II VI 2012 III 2011 Laboratoire Bordelais de Recherche en Informatique, Francja Laboratoire Bordelais de Recherche en Informatique, Francja Tel Aviv University, Izrael (projekt COST) Laboratoire Bordelais de Recherche en Informatique, Francja Université de Lausanne, Szwajcaria (projekt GAMES)

2 Udział w projektach badawczych Hierarchy-type problems for automata on infinite words and trees, grant NCN Preludium, kierownik Games, Automata and Logic s Extensions, ERC Starting Grant GALE nr , wykonawca Granice rozstrzygalności w teorii automatow, grant NCN 2012/07/D/ST6/02443, podwykonawca Nowe modele automatów, grant NCN N N , podwykonawca 2014 The Expressiveness of Modal Fixpoint Logics, grant HOMING PLUS/2012-5/1, podwykonawca Expressive power of tree logics, ERC Starting Grant Sosna nr , wykonawca 2010 Zaawansowane problemy teorii automatów, grant MNiSW N /0810, podwykonawca Wyróżnienia 2015 Rozprawa doktorska Descriptive set theoretic methods in automata theory nagrodzona EATCS Distinguished Dissertation Award Kierownictwo grantu Preludium Hierarchy type Problems for Automata on Infinite Words and Trees, przyznanego przez Narodowe Centrum Nauki 2013/2014 Stypendium Doktoraty dla Mazowsza II dla najlepszych doktorantów Uniwersytetu Warszawskiego 2010/2011 Stypendium Ministra Nauki i Szkolnictwa Wyższego za wybitne osiągnięcia w nauce 2009/2010 Stypendium Ministra Nauki i Szkolnictwa Wyższego za wybitne osiągnięcia w nauce th Vojtech Jarnik Annual International Mathematical Competition, Ostrawa, Czechy, 25 ta pozycja w ogólnym rankingu 76 uczestników th International Mathematics Competition, Budapeszt, Węgry, nagroda drugiego stopnia 2008/2009 Stypendium Ministra Nauki i Szkolnictwa Wyższego za wybitne osiągnięcia w nauce 2007 Konkurs online ImagineCup, przejście do pół finałów w kategorii Algorytm th International Mathematics Competition, Blagoevgrad, Bułgaria, nagroda drugiego stopnia th Vojtech Jarnik Annual International Mathematical Competition, Ostrawa, Czechy, 15 sta pozycja w ogólnym rankingu 50 uczestników

3 Artykuły 1. Tomasz Idziaszek, Michał Skrzypczak, Mikołaj Bojańczyk, Regular languages of thin trees. Przyjęty do Theory of Computing Systems, DOI: /s z 2. Olivier Finkel, Michał Skrzypczak, On the Topological Complexity of omega-languages of Non- Deterministic Petri Nets. Information Processing Letters 114(5): , Michał Skrzypczak, Separation property for ωb and ωs-regular languages. Logical Methods in Computer Science 10(1): 1 20, Michał Skrzypczak, Topological extension of parity automata. Information & Computation 228: 16 27, Szczepan Hummel, Michał Skrzypczak, The topological complexity of MSO+U and related automata models. Fundamenta Informaticae, 119(1): , Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich, Adam Radziwończyk-Syta, Michał Skrzypczak, On the borel complexity of MSO definable sets of branches. Fundamenta Informaticae, 98(4): , 2010 Prace konferencyjne 1. Mikołaj Bojańczyk, Tomasz Gogacz, Henryk Michalewski, Michał Skrzypczak, On the Decidability of MSO+U on Infinite Trees. W ramach serii Springer-Verlag LNCS, International Colloquium on Automata, Languages, and Programming (ICALP) (2): 50 61, Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak, Measure Properties of Game Tree Languages. W ramach serii Springer-Verlag LNCS, Mathematical Foundations of Computer Science (MFCS) (1): , Marcin Bilkowski, Michał Skrzypczak, Unambiguity and uniformization problems on infinite trees. W ramach serii LIPIcs, Computer Science Logic 2013: , Udi Boker, Denis Kuperberg, Orna Kupferman, Michał Skrzypczak, Nondeterminism in the Presence of a Diverse or Unknown Future. W ramach serii Springer-Verlag LNCS, Internatinal Symposium on Automata, Logic, and Programming: , Alessandro Facchini, Filip Murlak, Michał Skrzypczak, Rabin Mostowski index problem: a step beyond deterministic automata. W ramach serii IEEE Computer Society, Logic in Computer Science 2013: , 2013

4 6. Mikołaj Bojańczyk, Tomasz Idziaszek, Michał Skrzypczak, Regular languages of thin trees. W ramach serii LIPIcs, International Symposium on Theoretical Aspects of Computer Science (STACS): , Michał Skrzypczak, Topological properties of infinite computations. W sprawozdaniu z XIII International Young Mathematicians Workshop: , 2011, ISBN-13: Szczepan Hummel, Michał Skrzypczak, Szymon Toruńczyk, On the topological complexity of MSO+U and related automata models. W ramach serii Springer-Verlag LNCS, Mathematical Foundations of Computer Science (MFCS): , 2010 Doświadczenie zawodowe 2015 PostDoc, Liafa, Université Denis Diderot Paris Asystent naukowy, Instytut Informatyki Uniwersytetu Warszawskiego Ćwiczeniowiec (Automaty na drzewach nieskończonych), Instytut Informatyki Uniwersytetu Warszawskiego Ćwiczeniowiec (Podstawy Matematyki), Instytut Informatyki Uniwersytetu Warszawskiego Ćwiczeniowiec (Semantyka i weryfikacja programów), Instytut Informatyki Uniwersytetu Warszawskiego Projekt, opracowanie i wprowadzenie systemu raportów magazynowych i księgowych dla sieci sklepów turystycznych Sklep Podróżnika IX X 2009 Staż programistyczny w firmie e point, opracowanie prototypu aplikacji wspierającej stosowanie metodologii Getting Things Done Wystąpienia na warsztatach i konferencjach 1. On uniformisation in MSO over infinite trees, 30 marca 2015, Paryż, Francja, referat na corocznym spotkaniu ALGA On determinisation of Good-for-Games automata, 5 września 2014, Paryż, Francja, referat na konferencji Highlights of Logic, Games, and Automata Measure Properties of Game Tree Languages, 28 sierpnia 2014, Budapeszt, Węgry, referat na konferencji MFCS On the decidability of MSO+U on infinite trees, 8 lipca 2014, Kopenhaga, Dania, referat na konferencji ICALP 2014

5 5. Złożoność deskryptywna a rozstrzygalność logiki MSO i jej rozszerzeń, 28 września 2013, Łowicz, zaproszony wykład na XIV Warsztatach Logicznych 6. Complexity collapse for unambiguous languages, 21 września 2013, Paryż, Francja, referat na konferencji Highlights of Logic, Games, and Automata Nondeterminism in the Presence of a Diverse or Unknown Future, 8 lipca 2013, Ryga, Łotwa, referat na konferencji ICALP Rabin-Mostowski index problem: a step beyond deterministic automata, 28 kwietnia 2013, Nowy Orlean, USA, referat na konferencji LICS Descriptive complexity vs. decidability for Monadic Second-Order logic, 25 kwietnia 2013, Paryż, Francja, invited talk w ramach Journées d Informatique Fondamentale 10. Regular languages of thin trees, 2 marca 2013, Kilonia, Niemcy, referat na konferencji STACS Regular languages of thin trees, 11 września 2012, Neapol, Włochy, referat na warsztatach Games for Design and Verification 12. MSO+U describes sets at arbitrarily high levels of the projective hierarchy, 1 września 2011, Paryż, Francja, referat na warsztatach Games for Design and Verification 13. Equational theories of profinite structures, 23 sierpnia 2011, Warszawa, referat na Young Researchers Forum w ramach konferencji Mathematical Foundations of Computer Science Złożoność topologiczna logiki MSO+U, 9 kwietnia 2011, Gdańsk, referat na XXV Forum Informatyki Teoretycznej 15. Topological properties of infinite computations, 22 września 2010, Kraków, referat na XIII International Young Mathematicians Workshop 16. Topologia a logika - języki definiowalne w MSO+U, 29 czerwca 2010, Poronin, referat na XI Warsztatach Logicznych 17. O kolorowaniach drzewa Cantora, 22 kwietnia 2010, Zakopane, referat na XXIV Forum Informatyki Teoretycznej 18. Topological Complexity of MSO-definable Structures, 17 lutego 2010, Raach, Austria, poprowadzenie dyskusji w trakcie Young Set Theory Workshop Topologia zbioru Cantora, a obwody logiczne, 1 lipca 2009, Poronin, referat na X Warsztatach Logicznych

6 20. Obwody logiczne a zbiory borelowskie, 7 marca 2009, Przesieka, referat na warsztatach ZOSIA Dlaczego Hipoteza Riemanna jest równoważna nierówności Lagariasa, 5 czerwca 2007, Warszawa, referat na sesji Funkcje dzeta seminarium geometrii algebraicznej Polskiej Akademii Nauk