Return to the list of employees
prof. dr hab. Damian Niwiński
- Affiliation
-
Institute of Informatics
- Consultations
- wtorek godz. 15:00-17:00 konsultacje obowiązują w czasie trawnia zajęć dydaktycznych
- Phone
- 55-44-468
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