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

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

2

19 апреля, 2019 г.

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

31 января, 2019 г.

В январе лабораторией теоретической информатики было запланировано проведение двух семинаров. На первом семинаре выступил Иван Аржанцев. На втором семинаре о своих результатах рассказал наш коллега из Нижнего Новгорода Дмитрий Сироткин.
Публикации
Статья
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.

Препринт
Stochasticity in Algorithmic Statistics for Polynomial Time

Vereshchagin N., Milovanov A.

Electronic Colloquium on Computational Complexity. Technical report . Weizmann Institute of Science, 2017. No. TR17-043.

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

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