**Szczepan Hummel**

PhD student

supervisor: Damian Niwiński

University of Warsaw

Faculty of Mathematics Informatics and Mechanics

Institute of Informatics

room 4030

Scientific CV

** Scientific Interests:**

Automata theory, formal languages, infinite games, set theory, topology, verification.

** Publications:**

→ slides from the talk (given also at GAMES 2012 workshop in Naples)

The Topological Complexity of MSO+U and Related Automata Models (co-author: Michał Skrzypczak), Fundamenta Informaticae, 119(1) 2012

→ slides from the talk given by Michał Skrzypczak at GAMES 2011 (Paris)

Former conference version containing weaker result:

On the Topological Complexity of MSO+U and Related Automata Models (co-authors: Michał Skrzypczak and Szymon Toruńczyk), MFCS 2010 (Brno)

→ slides from the talk

→ slides from the talk given at GAMES 2010 (Oxford)

On The Borel Inseparability of Game Tree Languages (co-authors: Henryk Michalewski and Damian Niwiński), STACS 2009 (Freiburg)

→ slides from the talk

→ slides from the talk given at GAMES 2008 (Warsaw)

** Other texts and talks:**

Hierarchies for languages of infinite trees — table summarizing state of the art for hierarchies (Borel, Wadge, Kuratowski index, etc.) for languages of infinite trees (strictness, height, decidability) (2007)

Separation Properties of Tree Languages Definable by Automata (Polish) —

Characteristics of Borel pointclasses (Polish) — talk given at students seminar on Topology and Set Theory (2007)

Comparing Sizes of Representations of Regular Languages of Unranked Trees (Polish) —

Decidability of Unknotting Problem (Polish) —

Minimization of nondeterministic automata on finite and infinite words (Polish) — talk given on students seminar on Logic, Computational Theory and Cryptography (2005)

** Teaching:**

__Summer Semester 2011/2012:__

**Languages, automata and computations (Polish)**, class

**Available for students:** Tuesday 13:45–15:15

__Summer Semester 2010/2011:__

**Languages, automata and computations (Polish)**, class

__Summer Semester 2008/2009:__

**Individual Programming Project (Polish)**, lab

__Winter Semester 2008/2009:__

**Languages, automata and computations (Polish)**, class

__Winter Semester 2007/2008:__

**Languages, automata and computations (Polish)**, class

**Introduction to Computer Science (Polish)**, class/lab