ЭС: А.А.Вороненко

ВОРОНЕНКО АНДРЕЙ АНАТОЛЬЕВИЧ (р. 13.01.1972, Москва), математик.

 

Окончил факультет вычислительной математики и кибернетики МГУ (1994). Кандидат физико-математических наук (1997, «О мощности классов дискретных функций, удовлетворяющих конечноточечным условиям»). Доктор физико-математических наук (2008, «Методы представления дискретных функций в задачах подсчета, тестирования и распознавания свойств»). Доцент (2006). Профессор (2018).

 

Профессор кафедры математической кибернетики факультета вычислительной математики и кибернетики (2009–н.вр.).

 

Научная и педагогическая деятельность. В сфере научных интересов дискретная математика, теория управляющих систем.

Разработал алгоритм эффективного тестирования бесповторных булевых функций, позволяющий решать задачу верификации схем. Предложил и исследовал новую криптографическую игровую модель – порождение ложного образа, описывающую взаимодействие с пассивным противником. Нашёл алгоритм (схемный) для распознавания наследственных свойств. Построил асимптотически оптимальные методы представления для широкого класса семейств дискретных функций. Получил окончательное решение проблемы положения предполных классов Поста в частичной двузначной логике.

 

Лауреат премии имени И.И. Шувалова за докторскую диссертацию «Методы представления дискретных функций в задачах подсчета, тестирования и распознавания свойств» (2008).

 

Основные труды: «Тестирование и распознавание свойств дискретных функций» (2010). учебные пособия «Задачи по курсу “Основы кибернетики”» (соавт., 2011), «Дискретная математика. Задачи и упражнения с решениями» (соавт., 2013), «Основы кибернетики» (2018), «Некоторые типовые задачи исследования операций» (соавт., 2018).

 

Литература: А.А.Вороненко. Факультет вычислительной математики и кибернетики МГУ.