Voronenko, Andrei Anatolievich

Andrei Anatolievich Voronenko
Fecha de nacimiento 13 de enero de 1972 (50 años)( 1972-01-13 )
Lugar de nacimiento Moscú , URSS
País  URSS , Rusia
 
Esfera científica matemáticas discretas , teoría de la complejidad de los algoritmos
Lugar de trabajo Universidad estatal de Moscú
alma mater Universidad Estatal de Moscú (1994)
Titulo academico Doctor en Ciencias Físicas y Matemáticas (2008)
Título académico profesor (2009)
consejero científico V. B. Alekseev
Premios y premios Premio I. I. Shuvalov - 2008

Andrei Anatolyevich Voronenko (nacido en 1972) es matemático , Doctor en Ciencias Físicas y Matemáticas, Profesor del Departamento de Cibernética Matemática de la Facultad de CMC de la Universidad Estatal de Moscú .

Biografía

Graduado de la Facultad de Matemática Computacional y Cibernética de la Universidad Estatal de Moscú. MV Lomonosov en 1994.

Estudió en el curso de posgrado de la facultad de la Comisión Médica Militar en 1994-1997.

Ha estado trabajando en el Departamento de Cibernética Matemática de la Facultad de Ciencias de la Computación de la Universidad Estatal de Moscú desde 1997 como investigador junior (1997-2000), investigador principal (2000-2002), profesor asociado (2002-2009), profesor ( desde el 2009).

Laureado de la Universidad Estatal de Moscú I. I. Shuvalova (2008) por su disertación doctoral "Métodos para representar funciones discretas en problemas de conteo, prueba y reconocimiento de propiedades" [1]

Actividad científica

Tema de tesis doctoral: "Sobre la cardinalidad de clases de funciones discretas que satisfacen condiciones de punto finito" (1997).

Tema de tesis doctoral: "Métodos de representación de funciones discretas en los problemas de conteo, ensayo y reconocimiento de propiedades" (2008).

AA Voronenko construyó una familia continua de clases cerradas de lógica parcial que contiene una clase de funciones extensibles a las lineales; obtuvo una serie de estimaciones para las asintóticas del logaritmo del número de funciones que preservan la proximidad y el orden; propuso un enfoque para probar funciones no repetitivas. Desarrolló un nuevo método para reconocer que las funciones de valores finitos pertenecen a clases invariantes (el "método de descomposición"). Con este método, se obtienen los límites superiores para la complejidad de reconocer la monotonicidad, la monotonicidad parcial y la polarizabilidad de las funciones booleanas (  es la longitud del vector columna).

Actividad pedagógica

En la facultad del CMC de la Universidad Estatal de Moscú , imparte un curso de conferencias sobre los conceptos básicos de la cibernética, sobre matemáticas discretas para licenciados, realiza seminarios sobre cursos de matemáticas discretas, capítulos adicionales de matemáticas discretas.

En el Instituto de Física y Tecnología de Moscú , imparte cursos obligatorios "Funciones discretas" y "Control de sistemas de control" para estudiantes universitarios y dicta clases de teoría de la codificación para licenciados.

Obras seleccionadas

Libros

Artículos

Notas

  1. Laureados del I. I. Premio Shuvalov 2008 - Sitio web de la Universidad Estatal de Moscú . Consultado el 8 de junio de 2016. Archivado desde el original el 7 de julio de 2016.

Literatura

Enlaces