Миколай Боянчик - Mikołaj Bojańczyk

Миколай Боянчик
Родившийся (1977-06-08) 8 июня 1977 г. (возраст 43 года)
Альма-матерВаршавский университет
ИзвестенАвтоматы для ходьбы по деревьям
НаградыПремия Пресбургера
Научная карьера
Поля
Учреждения
ДокторантИгорь Валукевич
Интернет сайтwww.mimuw.edu.pl/ ~ Боян/

Миколай Боянчик (1977 г.р.) Польский теоретик-информатик и логик известен тем, что решает основные открытые проблемы на ходячие автоматы по деревьям[1][2] совместно с Томас Колкомбет, а также за большой вклад в развитие логики теории автоматов.[3][4] В настоящее время он профессор Варшавский университет.

биография

Боянчик получил докторскую степень в Варшавский университет в 2004 г. В 2004–2005 гг. провел год в Парижский университет Дидро. Он получил хабилитацию от Варшавский университет в 2008 г. и с 2014 г. является там профессором. Боянчик стал первым лауреатом Премия Пресбургера в 2010.[5]

Рекомендации

  1. ^ Боянчик, Миколай; Колкомбет, Томас (2006). «Ходящие по деревьям автоматы не поддаются определению». Теоретическая информатика. 350 (2–3): 164–173. Дои:10.1016 / j.tcs.2005.10.031.
  2. ^ Боянчик, М .; Колкомбет, Т. (1 января 2008 г.). «Ходящие по деревьям автоматы не распознают все обычные языки». SIAM Журнал по вычислениям. 38 (2): 658–701. CiteSeerX  10.1.1.100.7065. Дои:10.1137/050645427. ISSN  0097-5397.
  3. ^ Боянчик, Миколай; Парис, Павел (01.07.2011). «Оценка XPath в линейное время». J. ACM. 58 (4): 17:1–17:33. CiteSeerX  10.1.1.217.4646. Дои:10.1145/1989727.1989731. ISSN  0004-5411.
  4. ^ Боянчик, Микоай; Мушолл, Анка; Швентик, Томас; Сегуфин, Люк (2009-05-01). «Логика двух переменных на деревьях данных и XML-рассуждениях». J. ACM. 56 (3): 13:1–13:48. CiteSeerX  10.1.1.157.4510. Дои:10.1145/1516512.1516515. ISSN  0004-5411.
  5. ^ «Премия Пресбургера». Европейская ассоциация теоретической информатики. Получено 27 марта, 2017.

внешняя ссылка