Damian Niwinski

Damian Niwinski is a Professor in the Institute of Informatics at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland. He is a member of the Automata Theory Group and actively contributes to research and academic life at the university.

His research interests include logic, automata theory, fixed point calculi, information theory, complexity, and games. These areas represent core topics in theoretical computer science, with applications in formal verification, programming languages, and computational logic.

He has supervised several PhD students, including Filip Murlak, Eryk Kopczyński, Michal Strojnowski, Szczepan Hummel, and Marcin Przybyłko, indicating a strong commitment to academic mentorship and the development of future researchers in his field.

Prof. Niwinski is involved in editorial work as a member of the editorial board of Fundamenta Informaticae and organizes the Automata Theory Seminar, further demonstrating his leadership and engagement in the academic community.

He maintains a public academic presence through his Google Scholar profile and personal website, where he shares his papers and talks.