Mikołaj Bojańczyk was born in 1977. He is a Polish computer scientist and expert in logic. He is known for solving difficult questions about tree walking automata with Thomas Colcombet. He also made important contributions to the study of logic in automata theory. He is a professor at Warsaw University.

Biography

Bojańczyk received his doctorate from Warsaw University in 2004. From 2004 to 2005, he spent a year at Paris Diderot University. In 2008, he earned his habilitation from Warsaw University. He has been a full professor there since 2014. In 2010, Bojańczyk became the first person to receive the Presburger Award.