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

30.03 и 01.04 прошел семинар лаборатории ТИ, сдвоенный с Колмогоровским семинаром МГУ

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

19 апреля, 2019 г.

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

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

Публикации

Книга

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

Рубцов А. А.

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

Препринт

A family of non-periodic tilings of the plane by right golden triangles

Vereshchagin N.

arxiv.org. math. Cornell University, 2020

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

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

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

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