Nie jesteś zalogowany |
Powrót do listy pracowników
prof. dr hab. Damian Niwiński
- Afiliacja
-
profesor,
Instytut Informatyki
- Konsultacje
- wtorek godz. 15:00-17:00 konsultacje obowiązują w czasie trawnia zajęć dydaktycznych
- Telefon
- 55-44-468
Publikacje
Dziedziny badań
Granty
- Algorytmy rozproszone odporne na błędy (promotorski)
- Matematyczne metody weryfikacji systemów informatycznych
- Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
- Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
- Półpozycyjna determinacja gier nieskończonych (promotorski)
- Rozstrzygalne hierarchie regularnych języków drzew (promotorski)
- Zaawansowane problemy teorii automatów
- Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
