Mikołaj Bojańczyk
Mikołaj Bojańczyk | |
|---|---|
| Born | June 8, 1977 |
| Alma mater | Warsaw University |
| Known for | Tree walking automata |
| Awards | Presburger Award (2010) Kuratowski Prize (2007) |
| 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 jointly with Thomas Colcombet, and for contributions to logic in automata theory. He is a professor at Warsaw University.