• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Международная лаборатория теоретической информатики

2
Алексей Милованов выступил с докладом в двух частях "Предсказание битов бесконечной двоичной последовательности по ее префиксам".

19 апреля, 2019 г.

Ведущий исследователь Национального центра научных исследований Франции (Directeur de Recherche, CNRS) Александр Шень стал ассоциированным сотрудником международной лаборатории теоретической информатики.
Публикации
Статья
Descriptive complexity of computable sequences revisited

Vereshchagin N.

Theoretical Computer Science. 2020. Vol. 809. P. 531-537.

Глава в книге
Верификация моделей реагирующих систем относительно одного расширения темпоральной логики CTL*

Гнатенко А. Р., Захаров В. А.

В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019). М.: Изд-во механико-математического факультета МГУ, 2019. С. 263-266.

Препринт
A family of non-periodic tilings of the plane by right golden triangles

Vereshchagin N.

arxiv.org. math. Cornell University, 2020

Международная лаборатория теоретической информатики создана в декабре 2015 года и является подразделением департамента больших данных и информационного поиска факультета компьютерных наук НИУ ВШЭ.

Лаборатория проводит исследования в области теоретической информатики, в том числе в таких направлениях как сложность вычислений, алгоритмическая теория информации, алгоритмическая статистика, комбинаторная оптимизация и алгоритмическая теория игр.