И.о. заведующего отделом: к.ф.-м.н. Александр Владимирович Шокуров.

Число сотрудников: 9 человек.

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

  • Сложность вычислений, разработка и анализ алгоритмов, в том числе разработка и исследование эффективных алгоритмов решения вычислительно сложных (в частности, NP-трудных) задач;
  • Теоретические основы обеспечения информационной безопасности, в том числе теория обфускации программ, теоретические основы криптографии, вычисления над зашифрованными данными;
  • Гомоморфное шифрование.