dr hab. Paweł Parys profesor uczelni
Wydział Matematyki, Informatyki i Mechaniki
Field of study:
computer and information sciences
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
Key words:
automata theory, infinite-duration games, recursion, automata with counters, infinite trees, logic in computer science
Contact:
Odnośniki:
Links:
« Back