Mikołaj Bojańczyk
Mikołaj Bojańczyk | |
---|---|
Born | June 8, 1977 |
Residence | Poland |
Fields | |
Institutions | |
Alma mater | Warsaw University |
Doctoral advisor | Igor Walukiewicz |
Known for | Tree walking automata |
Notable awards | Presburger Award |
Website www |
Mikołaj Bojańczyk (born 1977) is a Polish theoretical computer scientist and logician known for settling major open problems on tree walking automata[1][2] jointly with Thomas Colcombet, and for numerous contributions to logic in automata theory.[3][4] He is currently a professor at Warsaw University.
Biography
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 Presburger Award in 2010.[5]
References
- ↑ Bojańczyk, Mikołaj; Colcombet, Thomas. "Tree-walking automata cannot be determinized". Theoretical Computer Science. 350 (2-3): 164–173. doi:10.1016/j.tcs.2005.10.031.
- ↑ Bojańczyk, M.; Colcombet, T. (2008-01-01). "Tree-Walking Automata Do Not Recognize All Regular Languages". SIAM Journal on Computing. 38 (2): 658–701. ISSN 0097-5397. doi:10.1137/050645427.
- ↑ Bojańczyk, Mikołaj; Parys, Paweł (2011-07-01). "XPath Evaluation in Linear Time". J. ACM. 58 (4): 17:1–17:33. ISSN 0004-5411. doi:10.1145/1989727.1989731.
- ↑ Bojańczyk, Mikoaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc (2009-05-01). "Two-variable Logic on Data Trees and XML Reasoning". J. ACM. 56 (3): 13:1–13:48. ISSN 0004-5411. doi:10.1145/1516512.1516515.
- ↑ "Presburger Award". European Association for Theoretical Computer Science. Retrieved March 27, 2017.
External links
- Official website
- Mikołaj Bojańczyk publications indexed by Google Scholar
- Mikolaj Bojanczyk at DBLP Bibliography Server
- Mikołaj Bojańczyk author profile page at the ACM Digital Library
- Bojańczyk, Mikołaj at zbMATH
- Mikolaj Bojanczyk at the Mathematics Genealogy Project
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.