На факультете компьютерных наук создана международная лаборатория теоретической информатики

В 2016 году на факультете компьютерных наук начинает работу новое научно-исследовательское подразделение департамента больших данных и информационного поиска — лаборатория теоретической информатики. Одна из целей лаборатории — интеграция российской школы по теоретической информатике в международное сообщество.

Раздел математики, который в настоящее время носит название Theoretical Computer Science (теоретическая информатика)  имеет как фундаментальное, так и прикладное значение: знаменитый вопрос о том, совпадают ли классы P и NP, например, имеет важное практическое применение — положительный ответ на него разрушил бы всю современную практику защиты информации.

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

 «Теоретическая информатика — одно из центральных направлений, развиваемых на факультете компьютерных наук, — говорит декан факультета Иван Аржанцев. — По этой теме у нас работает научно-исследовательский семинар, в следующем году на образовательной программе «Прикладная математика и информатика» открывается одноименная специализация, в декабре на факультете проходила конференция «Проблемы теоретической информатики».  Открытие международной лаборатории — логическое продолжение этой деятельности».

Заведующим лабораторией назначен специалист международного уровня по теоретической информатике, профессор НИУ ВШЭ и академик Academia Europaea Николай Верещагин. В качестве ведущего зарубежного научного сотрудника приглашен Владимир Гурвич, профессор Ратгерского университета (США). Он является признанным специалистом в области алгоритмической теории игр.

Также для проведения совместной научной деятельности с сотрудниками лаборатории, студентами и аспирантами НИУ ВШЭ в лабораторию с визитами будут приглашать известных специалистов по теоретической информатике из ведущих исследовательских центров и университетов. Так, например, планируются визиты Сергея Еханина (Microsoft Research), Юрия Макарычева (Toyota Technological Institute at Chicago) и Константина Макарычева (Microsoft Research).