I work at the Institute of Informatics, Warsaw University. My research is on automata and logic, mainly for trees.

Papers

Events

Highlights of Logic, Games and Automata, Paris, September 18-21, 2013

Nominal Sets Meet Automata Theory, Warsaw, February 9-10, 2013

Zajęcia / Courses

Języki, Automaty i Obliczenia

Nieskończone Alfabety

Seminarium Automat / Automata Seminar

Seminarium magisterskie "Logika i Teoria Obliczeń"

PhD Open on Nominal Sets

Current PhD Students

Tomasz Idziaszek

Michał Skrzypczak

Former PhD Students

Paweł Parys

Szymon Toruńczyk

Grants

FOX – Foundations of XML (FP7)

Sosna – Expressive Power of Tree Logics (ERC Starting Grant)

Conferences

Miscellaneous

Mojżesz Presburger at Warsaw University

Past events and courses

FOX training event 2

Syntactic Automata and Algebras for Infinite Alphabets

Języki, Automaty i Obliczenia (semestry letnie w 2009 i 2010)

Automaty a Logika (semestr zimowy 2009/2010)

Algebraiczna Teoria Języków (semestr zimowy 2010/2011)