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

Papers

Zajęcia / Courses

Języki, Automaty i Obliczenia

Interfejsy

Seminarium Automat / Automata Seminar

Seminarium magisterskie "Logika i Teoria Obliczeń"

Conferences

PhD Students

Tomasz Idziaszek

Wojciech Kazana

Paweł Parys

Szymon Toruńczyk

Projects / Grants

AutomathA (ESF)

FOX – Foundations of XML (ERC)

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