Mikołaj Bojańczyk

Polish theoretical computer scientist and logician
Institutions
  • Warsaw University
Doctoral advisorIgor Walukiewicz Websitewww.mimuw.edu.pl/~bojan/

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.

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 the Presburger Award in 2010.[5]

References

  1. ^ Bojańczyk, Mikołaj; Colcombet, Thomas (2006). "Tree-walking automata cannot be determinized". Theoretical Computer Science. 350 (2–3): 164–173. doi:10.1016/j.tcs.2005.10.031.
  2. ^ 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. CiteSeerX 10.1.1.100.7065. doi:10.1137/050645427. ISSN 0097-5397.
  3. ^ Bojańczyk, Mikołaj; Parys, Paweł (2011-07-01). "XPath Evaluation in Linear Time". J. ACM. 58 (4): 17:1–17:33. CiteSeerX 10.1.1.217.4646. doi:10.1145/1989727.1989731. ISSN 0004-5411. S2CID 47301339.
  4. ^ 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. CiteSeerX 10.1.1.157.4510. doi:10.1145/1516512.1516515. ISSN 0004-5411. S2CID 52817406.
  5. ^ "Presburger Award". European Association for Theoretical Computer Science. Retrieved March 27, 2017.

External links

  • Official website Edit this at Wikidata
  • Mikołaj Bojańczyk publications indexed by Google Scholar Edit this at Wikidata
  • Mikolaj Bojanczyk at DBLP Bibliography Server Edit this at Wikidata
  • Mikołaj Bojańczyk author profile page at the ACM Digital Library Edit this at Wikidata
  • Bojańczyk, Mikołaj at zbMATH
  • Mikolaj Bojanczyk at the Mathematics Genealogy Project Edit this at Wikidata
  • v
  • t
  • e
Recipients of the Presburger Award
  • Bojańczyk (2010)
  • Bouyer-Decitre (2011)
  • Guruswami / Pătrașcu (2012)
  • Demaine (2013)
  • Woodruff (2014)
  • Chen (2015)
  • Braverman (2016)
  • Silva (2017)
  • Mądry (2018)
  • Bringmann / Larsen (2019)
  • Zhuk (2020)
  • Oveis Gharan (2021)
  • Minzer (2022)
  • Bernstein / Saranurak (2023)
Authority control databases Edit this at Wikidata
International
  • VIAF
National
  • Israel
  • United States
Academics
  • Association for Computing Machinery
  • DBLP
  • Google Scholar
  • MathSciNet
  • Mathematics Genealogy Project
  • zbMATH