Mikołaj Bojańczyk
Polish theoretical computer scientist and logician / From Wikipedia, the free encyclopedia
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.
Quick Facts Born, Alma mater ...
Mikołaj Bojańczyk | |
---|---|
Born | (1977-06-08) June 8, 1977 (age 47) |
Alma mater | Warsaw University |
Known for | Tree walking automata |
Awards | Presburger Award |
Scientific career | |
Fields | |
Institutions | |
Doctoral advisor | Igor Walukiewicz |
Website | www |
Close