Mikołaj Bojańczyk
Mikołaj Bojańczyk is a Polish theoretical computer scientist and logician known for settling major open problems on tree walking automata jointly with Thomas Colcombet, and for numerous contributions to logic in automata theory. He is currently a professor at Warsaw University.Biography
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.
