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