prof. dr hab. Mikołaj Bojańczyk
- University of Warsaw
Mikołaj Bojańczyk (born 1977, phd 2004) works on the foundations of computer science at the University of Warsaw, where he is a full professor. He has been in Warsaw since his undergraduate studies, excluding shorter trips and a one year postdoc in Paris (Université Paris Diderot-Paris 7). He is interested in finite model theory and algebraic language theory, but most of all in the interplay between automata and logic. The automata are usually finite state, but may process more fancy objects than words, like graphs or infinite trees. The logic is typically some variant of monadic second-order logic. He has been awarded early career awards: Ackermann (2005), Lipski (2006), Kuratowski (2007), Presburger (2010) and the NCN Award (2016), as well as best paper awards at computer science conferences such as PODS or ICALP. He has been a Principal Investigator in an ERC Grant Sosna (Starting) and Lipa (Consolidator).