Mikolaj Bojanczyk

Professor, University of Warsaw
Visiting Scientist
Dates of Visit: Jan. 12May 14, 2021

Mikołaj Bojańczyk works on foundations of computer science at the University of Warsaw. He is mainly interested in the interplay between automata, algebra and logic. The automata are usually finite state, but may process more fancy objects than words, like graphs or infinite trees. Algebra refers to semigroups and their generalisations. The logic is typically some variant of monadic second-order logic. 

Program Visits