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

19 апреля, 2019 г.

Александр Шень стал ассоциированным сотрудником международной лаборатории теоретической информатики

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

31 января, 2019 г.

Семинар лаборатории теоретической информатики возобновил свою работу

В январе лабораторией теоретической информатики было запланировано проведение двух семинаров. На первом семинаре выступил Иван Аржанцев. На втором семинаре о своих результатах рассказал наш коллега из Нижнего Новгорода Дмитрий Сироткин.

Публикации

Книга

Заметки и задачи о регулярных языках и конечных автоматах

Рубцов А. А.

М.: МФТИ, 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.

Все публикации

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

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

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