Mikołaj Bojańczyk (born 1977) 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.[3][4] He is currently a professor at Warsaw University.Mikołaj Bojańczyk (born 1977) 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.[3][4] He is currently a professor at Warsaw University.
You may also be interested in these books written by the same author
Mikołaj Bojańczyk (born 1977) 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.[3][4] He is currently a professor at Warsaw University.
This book is Open Access under a CC BY licence.
Powered by PUBNiTO | © 2024 Notion Wave Inc.