Nie jesteś zalogowany |
Powrót do listy pracowników
prof. dr hab. Damian Niwiński
- Afiliacja
-
profesor,
Instytut Informatyki
- D.Niwinski@mimuw.edu.pl
- Telefon
- 55-44-468
- Pokój
- 5630
- Strona internetowa
- http://www.mimuw.edu.pl/~niwinski
- Inne informacje
- Strona pracownika w USOSweb
- Konsultacje
środa 16:30-18:00 / Wednesday 4.30-6pm
konsultacje obowiązują w czasie trawnia zajęć dydaktycznych
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
