prof. dr hab. Damian Niwiński profesor zwyczajny

Wydział Matematyki, Informatyki i Mechaniki


Dyscyplina naukowa:

informatyka, matematyka

Zainteresowania badawcze:

Logika matematyczna, logika w informatyce, zwłaszcza logiki temporalne i stałopunktowe. Teoria automatów, szczególnie automaty na drzewach nieskończonych -- problemy rozstrzygalności w powiązaniu z teorią rekursji, topologią teoriomnogościową i teorią miary. Teoria gier w zastosowaniu do weryfikacji systemów, szczególnie gry na grafach o potencjalnie nieskończonym czasie trwania. Teoria złożoności obliczeniowej i jej związki z teorią informacji. Matematyczne aspekty analizy muzycznej.

description of research interests:

Mathematical logic, logic in computer science, in particular temporal and fixed-point logics. Automata theory, especially automata on infinite trees -- decidability questions and relation to recursion theory, set-theoretic topology and measure theory. Game theory in application to system verification, in particular games on graphs of possibly infinite duration. Computational complexity theory and its connections with information theory. Mathematical aspects of musical analysis.

Realizowane projekty:

Rozstrzygalność problemów decyzyjnych dotyczących automatów na drzewach nieskończonych, w tym problem obliczania miary. Algorytmy dla rachunku punktów stałych.

research projects implemented:

Decidability of decision problems concerning automata on infinite trees, in particular computation of measure. Algotihms for fixed-point calculus.

USOSweb

Słowa kluczowe:

logika matematyczna, punkty stałe, automaty na drzewach, gry nieskończone

Słowa kluczowe:

mathematical logic, fixed points, automata on trees, infinite games

Kontakt:

pokaż


« Wstecz