Powrót do listy dziedzin badań
Teoria automatów
Opis
Teoria automatów i języków formalnych. Tematy badawcze dotyczą między innymi różnych odmian automatów skończonych, związków między automatami, logikami i grami, oraz zastosowań automatów w weryfikacji formalnej.
Seminaria
Pracownicy i doktoranci
-
prof. dr hab. Mikołaj Bojańczyk
Logiki dla weryfikacji, teoria automatów
- dr hab. Lorenzo Clemente
- dr hab. Wojciech Czerwiński, prof. UW
- dr Tomasz Gogacz
- dr Piotr Hofman
-
dr hab. Eryk Kopczyński
Gry nieskończone w weryfikacji
-
prof. dr hab. Sławomir Lasota
Weryfikacja, sprawdzanie równoważności, automaty czasowe
-
dr hab. Filip Murlak, prof. UW
Automaty na drzewach, gry Wadge'a
-
prof. dr hab. Damian Niwiński
Logiki dla weryfikacji, teoria automatów, gry nieskończone, złożoność obliczeniowa
- dr hab. Paweł Parys, prof. UW
-
prof. dr hab. Wojciech Plandowski
Kombinatoryka słów, algorytmy tekstowe, kompresja danych
-
prof. dr hab. Wojciech Rytter
Języki formalne, kombinatoryka słów
- dr hab. Michał Skrzypczak
- dr hab. Szymon Toruńczyk, prof. UW