Mikołaj Bojańczyk

Professor, University of Warsaw

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

Theoretical Foundations of Computer Systems, Spring 2021, Visiting Scientist
Logical Structures in Computation, Fall 2016, Visiting Scientist