Описание RUSMARC
  • Соколов Д. О. Дмитрий Олегович

([200] ИМЯ ЛИЦА)

Канд. физ.-мат. наук, научный сотрудник лаборатории математической логики Санкт-Петербургского отделения Математического института им. В.А.Стеклова РАН, доцент факультета математики и компьютерных наук Санкт-Петербургского государственного университета (СПбГУ). Науч. интересы: сложность доказательства, вычислительная сложность, коммуникационная сложность, сложность среднего случая..
Системный номер: 249846