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

• Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
• Seminarium „Logika i teoria typów”
• Seminarium „Teoria automatów”

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