Mikołaj Bojańczyk - Mikołaj Bojańczyk

Mikołaj Bojańczyk
narozený (1977-06-08) 8. června 1977 (věk 43)
Alma materVaršavská univerzita
Známý jakoChodící automaty na stromy
OceněníPresburger Award
Vědecká kariéra
Pole
Instituce
Doktorský poradceIgor Walukiewicz
webová stránkawww.mimuw.edu.pl/ ~ bojan/

Mikołaj Bojańczyk (narozen 1977) je a polština teoretický počítačový vědec a logik známý pro řešení hlavních otevřených problémů na chodící automaty[1][2] společně s Thomas Colcombet a za četné příspěvky k logice v teorii automatů.[3][4] V současné době je profesorem na Varšavská univerzita.

Životopis

Bojańczyk získal doktorát Varšavská univerzita v roce 2004. V letech 2004–2005 strávil rok v Paris Diderot University. Habilitoval se od Varšavská univerzita v roce 2008 a řádným profesorem zde od roku 2014. Bojańczyk se stal prvním příjemcem Presburger Award v roce 2010.[5]

Reference

  1. ^ Bojańczyk, Mikołaj; Colcombet, Thomas (2006). Msgstr "Automaty pro chůzi po stromech nelze určit". Teoretická informatika. 350 (2–3): 164–173. doi:10.1016 / j.tcs.2005.10.031.
  2. ^ Bojańczyk, M .; Colcombet, T. (01.01.2008). "Automaty chodící po stromech nerozpoznávají všechny běžné jazyky". 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ł (01.07.2011). "Hodnocení XPath v lineárním čase". J. ACM. 58 (4): 17:1–17:33. CiteSeerX  10.1.1.217.4646. doi:10.1145/1989727.1989731. ISSN  0004-5411.
  4. ^ Bojańczyk, Mikoaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc (01.05.2009). "Logika se dvěma proměnnými na datových stromech a XML uvažování". J. ACM. 56 (3): 13:1–13:48. CiteSeerX  10.1.1.157.4510. doi:10.1145/1516512.1516515. ISSN  0004-5411.
  5. ^ "Presburger Award". Evropská asociace pro teoretickou informatiku. Citováno 27. března 2017.

externí odkazy