prof. dr hab. Damian Niwiński

Afiliacja

profesor, Instytut Informatyki

Mail

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

Terminy konsultacji dla studentów

środa 16:30-18:00 / Wednesday 4.30-6pm

konsultacje obowiązują w czasie trawnia zajęć dydaktycznych

Publikacje

• Publikacje (32)

Dziedziny badań

• Logika w informatyce
  Logiki dla weryfikacji, teoria automatów, gry nieskończone, złożoność obliczeniowa
• Teoria automatów
  Logiki dla weryfikacji, teoria automatów, gry nieskończone, złożoność obliczeniowa

Granty

• Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
  Finansowany przez: Narodowe Centrum Nauki
• Zaawansowane problemy teorii automatów
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Półpozycyjna determinacja gier nieskończonych (promotorski)
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Algorytmy rozproszone odporne na błędy (promotorski)
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Rozstrzygalne hierarchie regularnych języków drzew (promotorski)
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
  Finansowany przez: Komitet Badań Naukowych
• Matematyczne metody weryfikacji systemów informatycznych
  Finansowany przez: Komitet Badań Naukowych
• Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
  Finansowany przez: Komitet Badań Naukowych