Return to the list of employees
prof. dr hab. Damian Niwiński
- Affiliation
-
profesor,
Institute of Informatics
- D.Niwinski@mimuw.edu.pl
- Phone
- 55-44-468
- Room
- 4680
- Website
- http://www.mimuw.edu.pl/~niwinski
- Information in the USOSweb system
- Link
- Consultations
- wtorek godz. 15:00-17:00 konsultacje obowiązują w czasie trawnia zajęć dydaktycznych
Publications
Fields of research
Grants
- Advanced problems in automata theory
- Decidability issues for automata on infinite structures
- Decidable hierarchies of regular tree languages (doctoral dissertation grant)
- Fault tolerant distributed algorithms (doctoral dissertation grant)
- Half-positional determinacy of infinite games (doctoral dissertation grant)
- Mathematical foundations of correctness, security, and efficiency of distributed information systems
- Mathematical foundations of specification and correctness analysis of information systems
- Mathematical methods of verification of information systems