prof. dr hab. Damian Niwiński

Affiliation

profesor, Institute of Informatics

Fields of interest

Logic in computer science, automata theory, complexity

Mail

D.Niwinski@mimuw.edu.pl

Phone

55-44-468

Room

5630

Personal webpage*

http://www.mimuw.edu.pl/~niwinski

Other information

Employee's page on USOSweb

Office hours (availability for students)

środa 17--18:30 / Wednesday 5-6.30pm

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

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Publications

• Publications list (33)

Fields of research

• Automata Theory
  
• Logic in Computer Science
  

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Decidability issues for automata on infinite structures
  Financed by: National Science Center
• Advanced problems in automata theory
  Financed by: Ministry of Science and Higher Education
• Half-positional determinacy of infinite games (doctoral dissertation grant)
  Financed by: Ministry of Science and Higher Education
• Fault tolerant distributed algorithms (doctoral dissertation grant)
  Financed by: Ministry of Science and Higher Education
• Decidable hierarchies of regular tree languages (doctoral dissertation grant)
  Financed by: Ministry of Science and Higher Education
• Mathematical foundations of correctness, security, and efficiency of distributed information systems
  Financed by: State Committee for Scientific Research
• Mathematical methods of verification of information systems
  Financed by: State Committee for Scientific Research
• Mathematical foundations of specification and correctness analysis of information systems
  Financed by: State Committee for Scientific Research