Mikołaj Bojańczyk | |
---|---|
Born | June 8, 1977 |
Alma mater | Warsaw University |
Known for | Tree walking automata |
Awards | Presburger Award |
Scientific career | |
Fields | |
Institutions | |
Doctoral advisor | Igor Walukiewicz |
Website |
www |
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. [3] [4] He is a professor at Warsaw University.
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. [5]
Mikołaj Bojańczyk | |
---|---|
Born | June 8, 1977 |
Alma mater | Warsaw University |
Known for | Tree walking automata |
Awards | Presburger Award |
Scientific career | |
Fields | |
Institutions | |
Doctoral advisor | Igor Walukiewicz |
Website |
www |
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. [3] [4] He is a professor at Warsaw University.
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. [5]