dr Szczepan Hummel
Uniwersytet Warszawski
Wydział Matematyki, Informatyki i Mechaniki
Instytut Informatyki
e-mail: shummel@mimuw.edu.pl
Naukowe CV
Zainteresowania naukowe:
Teoria automatów, języki formalne, gry nieskończone, teoria mnogości, topologia, weryfikacja.
Rozprawa doktorska:
Topological Complexity of Sets Defined by Automata and Formulas (promotor: Damian Niwiński, recenzenci: Emanuel Kieroński, Igor Walukiewicz),
University of Warsaw 2017
→ slajdy z referatu wygłoszonego na publicznej obronie pracy doktorskiej
→ autoreferat rozprawy doktorskiej
Publikacje (dblp):
On Unambiguous Regular Tree Languages of Index (0,2) (współautorzy: Jacques Duparc i Kevin Fournier),
CSL 2015 (Berlin)
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones,
GandALF 2012 (Neapol)
→ slajdy z referatu (wygłoszonego również na konferencji GAMES 2012 w Neapolu)
The Topological Complexity of MSO+U and Related Automata Models (współautor: Michał Skrzypczak),
Fundamenta Informaticae, 119(1) 2012
→ slajdy z referatu Michała Skrzypczaka na konferencji GAMES 2011 (Paryż)
Wcześniejsza wersja konferencyjna zawierająca słabszy wynik:
On the Topological Complexity of MSO+U and Related Automata Models (współautorzy: Michał Skrzypczak i Szymon Toruńczyk),
MFCS 2010 (Brno)
→ slajdy z referatu
→ slajdy z referatu wygłoszonego na konferencji GAMES 2010 (Oxford)
On The Borel Inseparability of Game Tree Languages (współautorzy: Henryk Michalewski i Damian Niwiński),
STACS 2009 (Freiburg)
→ slajdy z referatu
→ slajdy z referatu wygłoszonego na konferencji GAMES 2008 (Warszawa)
Inne teksty i referaty:
Unambiguity-Preserving Operation on Tree Languages That Lifts Topological Complexity, Highlights 2013 (Paryż)
Hierarchie dla języków drzew nieskończonych
— tabelka podumowująca to co wiadomo o hierarchiach (borelowskiej, Wadge'a, indeksów Rabina-Mostowskiego, itp.) dla języków drzew nieskończonych (ścisłość, wysokość, rozstrzygalność) (2007)
[wersja po polsku, bez opisu]
Własności oddzielania zbiorów drzew definiowalnych przez automaty
— praca magisterska z matematyki napisana pod kierunkiem
Damiana Niwińskiego
przy wsparciu
Henryka Michalewskiego (2008)
Własności klas borelowskich
— referat wygłoszony na seminarium magisterskim
Topologia i Teoria Mnogości (2007)
Porównanie rozmiarów różnych reprezentacji regularnych języków drzew nieurangowanych
— praca magisterska z informatyki napisana pod kierunkiem
Mikołaja Bojańczyka (2006)
Rozstrzygalność problemu rozpoznawania węzła trywialnego
— praca licencjacka z matematyki (2005)
Minimalizacja automatów niedeterministycznych na słowach skończonych i nieskończonych
— referat wygłoszony na seminarium magisterskim
Logika, Teoria Obliczeń i Kryptografia (2005)
Nauczanie:
Semestr letni 2011/2012:
Języki, Automaty i Obliczenia, ćwiczenia
Konsultacje: wtorek 13:45–15:15
Semestr letni 2010/2011:
Języki, Automaty i Obliczenia, ćwiczenia
Semestr letni 2008/2009:
Indywidualny Projekt Programistyczny, laboratorium
Semestr zimowy 2008/2009:
Języki, Automaty i Obliczenia, ćwiczenia
Semestr zimowy 2007/2008:
Języki, Automaty i Obliczenia, ćwiczenia
Wstęp do Informatyki, ćwiczenia/laboratorium
Kliknij w brzuszek pajacyka, aby nakarmić głodne dziecko
