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.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.