Вороненко Андрей Анатольевич

Андрей Анатольевич Вороненко (род. 13 января 1972, Москва) —российский математик, доктор физико-математических наук, профессор.

Биография


 Окончил факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова в 1994 году.
 Обучался в аспирантуре факультета ВМК 1994–1997 годах.
 Работает на кафедре математической кибернетики факультета ВМК МГУ с 1997года в должностях младшего научного сотрудника (1997-2000), старшегонаучного сотрудника (2000-2002), доцента (2002-2009), профессора (с2009).
 Лауреат премии МГУ им. И. И. Шувалова (2008) за докторскую диссертацию«Методы представления дискретных функций в задачах подсчета,тестирования и распознавания свойств»

Научнаядеятельность


 Тема кандидатской диссертации: «О мощности классов дискретных функций,удовлетворяющих конечноточечным условиям» (1997).
 Тема докторской диссертации: «Методы представления дискретных функций взадачах подсчёта, тестирования и распознавания свойств» (2008).
 А. А. Вороненко построил континуальное семейство замкнутых классовчастичной логики, содержащих класс функций, доопределимых до линейных;получил ряд оценок асимптотики логарифма количества функций, сохраняющихблизость и порядок; предложил подход к тестированию бесповторныхфункций. Им разработан новый метод распознавания принадлежностиконечнозначных функций инвариантным классам («метод разложения»). Припомощи этого метода получены верхние оценкиO(NlogNloglogN) для сложности распознаваниямонотонности, частичной монотонности и поляризуемости булевых функций(N — длина вектор-столбца).

Педагогическаядеятельность


 На факультете ВМК МГУ читает курс лекций по основам кибернетики, подискретной математике для бакалавров, ведёт семинарские занятия покурсам дискретной математики, дополнительных глав дискретной математики.
 В МФТИ читает обязательные курсы «Дискретные функции» и «Контрольуправляющих систем» для магистрантов и ведёт занятия по теориикодирования у бакалавров.

Избранныеработы



  • О некоторых замкнутых классах в частичной двузначной логике // Дискретная математика, 1994, т.6, N 3, 58-79 (совм. с В.Б. Алексеевым)
  • On some closed classes in partial two-valued logic // Discrete mathematics and applications, 1994, v. 5, N 4, 401-419 (совм. с В.Б. Алексеевым)
  • Об условиях полной асимптотики мощности классов функций k-значной логики, сохраняющих конечноместный предикат // Вестник МГУ. Сер. 15 Вычислительная математика и кибернетика, 1997, N 3, c.44-47.
  • О росте количества липшицевых дискретных функций при растущей размерности области определения // Вестник МГУ. Серия 1 Математика и механика, 2000, N 2, C.3-7.
  • О количестве метрических дискретных функций n переменных // Математические вопросы кибернетики. М.: Физматлит, 1998. Выпуск 7, с.203-212.
  • О сложности pаспознавания монотонности // Математические вопросы кибернетики. М.: Физматлит, 1999. Выпуск 8, с.301-303.
  • On the conditions of complete asymptotics of the power of function classes of k-valued logic that preserve the finitary predicate // Moscow univ. bull. Computational Mathematics and Cybernetics, Number 3, 1997. P. 59-63.
  • О методе разложения для распознования принадлежности инариантным классам. // Дискретная математика 2002 N 4, c 110-116.
  • О проверящих тестах для бесповторных функций. // Математические вопросы кибернетики 2002. Выпуск 11 с 163-176.
  • Новое доказательство теоремы Стеценко // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. — 2014. — № 2. — С. 39–42.
  • Об универсальных частичных функциях для класса линейных функций // Дискрет. матем., 24:3 (2012), 62–65
  • Дискретная математика. Задачи и упражнения с решениями. — ИНФРА-М Москва, 2013. — 104 с. (совм. с В.С. Фёдоровой)
  • Certificates of non-membership for classes of read-once functions // Fundamenta Informaticae. — 2014. — Vol. 132, no. 1. — P. 63–77. (совм. с Д.В. Чистиковым и В.С. Фёдоровой)