Селезнева Светлана Николаевна

Родилась в городе Коростень Житомирской области УССР.

Окончила с золотой медалью среднюю школу № 25 г. Житомира (1986, математический класс), с отличием факультет вычислительной математики и кибернетики МГУ им. М.В. Ломоносова (1991), аспирантуру факультета ВМК МГУ (1997).

Кандидат физико-математических наук (2000), тема диссертации: «О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами» (научные руководители С.В. Яблонский, В.Б. Алексеев). Доктор физико-математических наук (2016), тема диссертации: «Полиномиальные представления дискретных функций».

Работает в Московском университете с 1998 г.: младший научный сотрудник (1998-2002), научный сотрудник (2002-2003), старший преподаватель (2003-2008), доцент (2008-2019), профессор (с 2019) кафедры математической кибернетики факультета ВМК.

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

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

Читает курсы «Дополнительные главы дискретной математики», «Основы дискретной математики», «Дискретные модели»; подготовила и читает спецкурс «Булевы функции и полиномы». Ведёт семинарские занятия по обязательным курсам по дискретной математике, дополнительным главам дискретной математики, математической логике.

Автор более 80 научных работ и книг, в том числе:

• Порядок длины функций алгебры логики в классе псевдополиномиальных форм // Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика. — 2016. — № 3. — С. 27–31;
• Линейная оценка схемной сложности распознавания полиномиальности функций над кольцом вычетов по составному модулю // Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика. — 2013. — № 1. — С. 27–31;
• О пpиближении с заданной точностью функций k-значных логик полиномами // Дискретная математика. — 2008. — Т. 20, № 2. — С. 32–45;
• О сложности поляризованных полиномов функций многозначных логик, зависящих от одной переменной // Дискретная математика. — 2004. — Т. 16, № 2. — С. 117–121;
• О сложности представления функций многозначных логик поляризированными полиномами // Дискретная математика. — 2002. — Т. 14, № 2. — С. 48–53;
• О некоторых свойствах многочленов над конечным полем // Дискретная математика. — 2001. — Т. 13, № 2. — С. 111–119;
• О сложности распознавания полноты множеств булевых функций, реализованных полиномами Жегалкина // Дискретная математика. — 1997. — Т. 9, № 4. — С. 24–31.