dr hab. Paweł Parys profesor uczelni
Wydział Matematyki, Informatyki i Mechaniki
Dyscyplina naukowa:
informatyka
Zainteresowania badawcze:
- teoria automatów: automaty skończone, automaty ze stosem (w tym automaty ze stosem wyższego rzędu), automaty z licznikami
- schematy rekurencyjne (otypowany rachunek lambda)
- logika w informatyce (zwłaszcza logiki umożliwiające wyrażanie pojęcia nieograniczoności)
- teoria gier (w szczególności: gry parzystości)
description of research interests:
- automata theory: finite automata, pushdown automata (including higher-order pushdown automata), automata with counters
- recursion schemes (typed lambda calculus)
- logic in computer science (especially logics allowing to express the concept of boundedness)
- game theory (in particular: parity games)
Realizowane projekty:
Obliczeniowe aspekty gier nieskończonych - grant NCN
research projects implemented:
Computational aspects of infinite-duration games - NCN project
Słowa kluczowe:
teoria automatów, gry nieskończone, rekurencja, automaty z licznikami, drzewa nieskończone, logika w informatyce
Słowa kluczowe:
automata theory, infinite-duration games, recursion, automata with counters, infinite trees, logic in computer science
Kontakt:
Odnośniki:
Odnośniki:
« Wstecz