Automata Theory

Description

Theory of automata and formal languages. The research topics concern in particular various kinds of finite automata, relationships between automata, logics and games, and applications of automata in formal verification.

Seminars

• Seminar Semantics, Logic, Verification and its Applications
• Seminar Logic and Type Theory
• Seminar Automata Theory

Employees and PhD students

• prof. dr hab. Mikołaj Bojańczyk

• dr hab. Lorenzo Clemente

• dr hab. Wojciech Czerwiński, prof. UW

• dr Tomasz Gogacz

• dr Piotr Hofman

• dr hab. Eryk Kopczyński

• prof. dr hab. Sławomir Lasota

• dr hab. Filip Murlak, prof. UW

• prof. dr hab. Damian Niwiński

• dr hab. Paweł Parys, prof. UW

• prof. dr hab. Wojciech Plandowski

• prof. dr hab. Wojciech Rytter

• dr hab. Michał Skrzypczak

• dr hab. Szymon Toruńczyk, prof. UW