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
