Skip to main content
Czekaj...
Wczytywanie...
You are not logged in |
log in
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Menu główne
studies
bachelor's and master's studies
PhD studies
achievements
erasmus
recruitment
faculty
structure, contact
employees and phd students
how to get there
research
seminars
grants
publications
manual for postdoc
Sierpiński Medal
IDUB
Search form
Search
PL /
EN
USOSweb
SRS
APD
Moodle
Computer laboratory
student mail
new student mail
staff mail
new staff mail
Library
Jobs
Skala szarości
Wysoki kontrast
Negatyw
Podkreślenie linków
Reset
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 Logic and Type Theory
Seminar Algorithms
Seminar Automata Theory
Employees
Mikołaj Bojańczyk
Logics for verification, automata theory
Lorenzo Clemente
Wojciech Czerwiński
Tomasz Gogacz
Piotr Hofman
Bartosz Klin
Eryk Kopczyński
Infinite games in verification
Sławomir Lasota
Verification, equivalence-checking, timed automata
Filip Murlak
Tree automata, Wadge games
Damian Niwiński
Logics for verification, automata theory, infinite games, complexity
Paweł Parys
Wojciech Plandowski
Combinatorics of words, text algorithms, data compression
Marcin Przybyłko
Wojciech Rytter
Formal languages, combinatorics of words
Michał Skrzypczak
Szymon Toruńczyk
Adam Witkowski
You are not logged in | log in
