I work at the Institute of Informatics, Warsaw University. My research is on automata and logic, mainly for trees.
Papers
Zajęcia / Courses
Seminarium Automat / Automata Seminar
Seminarium magisterskie "Logika i Teoria Obliczeń"
Wykład dla doktorantów "Automaty a logika"
Conferences
PhD Students
Wojciech Kazana