Mikołaj Bojańczyk (born 1977) is a Polish theoretical computer scientist and logician known for settling open problems on tree walking automata[1][2] jointly with Thomas Colcombet, and for contributions to logic in automata theory.
Bojańczyk earned his doctorate from Warsaw University in 2004.
In 2004–2005, he spent a year at Paris Diderot University.
He got his habilitation from Warsaw University in 2008 and has been a full professor there since 2014.
Bojańczyk became the first recipient of the Presburger Award in 2010.