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
- 5630
- Website
- http://www.mimuw.edu.pl/~niwinski
- Other information
- Employee's page on USOSweb
- Consultations
środa 16:30-18:00 / Wednesday 4.30-6pm
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