Avetisyan, Harutyun Ishkhanovich

Harutyun Ishkhanovich Avetisyan
Fecha de nacimiento	19 de marzo de 1971 (51 años)( 1971-03-19 )
Lugar de nacimiento	Con. Upper Eshera , distrito de Sukhumi , Abkhaz ASSR , URSS
País	URSS , Rusia
Esfera científica	programación
Lugar de trabajo	Instituto de Programación de Sistemas RAS , Instituto de Física y Tecnología de Moscú , Escuela Superior de Economía , VMK MSU
alma mater	Universidad Estatal de Ereván
Titulo academico	Doctor en Ciencias Físicas y Matemáticas (2012)
Título académico	Profesor de la Academia Rusa de Ciencias (2016) Académico de la Academia Rusa de Ciencias (2019)
Premios y premios

Harutyun Ishkhanovich Avetisyan (nacido el 19 de marzo de 1971 , Verkhnyaya Eshera , distrito de Sujumi , Abjasia ASSR , URSS ) es un matemático ruso , especialista en programación de sistemas, profesor de la Academia Rusa de Ciencias (2016), miembro correspondiente de la Academia Rusa de Ciencias (2016), académico de la Academia Rusa de Ciencias (2019), jefe de los departamentos de programación de sistemas de VMK MSU , FUPM MIPT , FKN HSE , director de ISP RAS .

Biografía

Nació el 19 de marzo de 1971 en el pueblo de Verkhnyaya Eshera, región de Sujumi, Abjasia ASSR. En 1993 se graduó con honores en la Facultad de Matemáticas Aplicadas de la Universidad Estatal de Ereván .

En 2001 defendió su tesis doctoral "Investigación y desarrollo del sistema de herramientas de programación ParJava para sistemas de cómputo paralelo"; en 2012 - tesis doctoral "Métodos modernos de análisis estático y dinámico de programas para resolver problemas prioritarios de ingeniería de software".

Desde 2002 trabaja en el Instituto de Programación de Sistemas de la Academia Rusa de Ciencias ; Desde 2015, es el director del instituto.

En enero de 2016, fue elegido profesor de la Academia Rusa de Ciencias [2] ; en octubre de 2016 - Miembro Correspondiente de la Academia Rusa de Ciencias [3] ; en noviembre de 2019 - Académico de la Academia de Ciencias de Rusia [4] .

Desde el 1 de septiembre de 2017 - Jefe del Departamento de Programación de Sistemas de la Facultad de Matemática Computacional y Cibernética de la Universidad Estatal de Moscú . Desde 2017 - Miembro del Consejo de Ciencia y Educación del Presidente de la Federación Rusa . Realiza labores docentes, siendo el jefe de los departamentos de programación de sistemas en la Universidad Estatal de Moscú, el Instituto de Física y Tecnología de Moscú y la Escuela Superior de Economía , donde imparte clases sobre tecnologías de compilación y computación paralela.

Editor en Jefe de las revistas " Programación " y "Proceedings of ISP RAS"; Presidente del Consejo Científico de ISP RAS; jefe del laboratorio ISP RAS, conjunto con Samsung ; Jefe del Centro de Investigación de Nvidia en ISP RAS; miembro de la junta directiva de la Asociación Taizen. RU.

Actividad científica

Realiza trabajos de investigación en las áreas de análisis y optimización de programas, seguridad de software (SW) y tecnología de computación paralela y distribuida. Autor de más de 100 publicaciones.

Con su participación desarrolló:

• métodos matemáticos de análisis de software basados ​​en modelos de programas, que permitieron crear nuevos algoritmos y tecnologías para optimizar programas;
• nuevas optimizaciones de rendimiento orientadas a la máquina (programación de instrucciones, vectorización de bucles y canalización) y consumo de energía, teniendo en cuenta las características de las arquitecturas modernas (ARM, EPIC) y los perfiles de aplicación. Están implementados en los compiladores industriales GCC y LLVM;
• Una versión extendida del compilador LLVM que admite la portabilidad de aplicaciones en lenguajes C/C++, lo que brinda consideraciones de hardware eficientes y un alto grado de confiabilidad y seguridad. Está embebido en la plataforma móvil industrial Tizen ;
• nuevos métodos y herramientas para crear aplicaciones paralelas que proporcionen alta productividad, incluso para clústeres que utilizan GPGPU.

En el campo de la seguridad del software, propuso métodos y algoritmos matemáticos para el análisis de software estático, dinámico y combinado, que no tienen análogos en Rusia, resolviendo de manera efectiva los problemas del análisis profundo de software al nivel de los mejores sistemas comerciales del mundo para auditar para encontrar vulnerabilidades de seguridad y otros defectos en el código original y binario. Entre otras cosas, es posible restaurar algoritmos y encontrar funciones no documentadas en un código binario protegido. Se crearon un sistema de análisis estático de código fuente Svace y un sistema de análisis combinado de código binario protegido "Tral", que se implementan y utilizan para resolver problemas prácticos de seguridad de software en varias organizaciones nacionales y extranjeras.

Bajo su dirección se formaron 5 candidatos de ciencias.

Premios

• Medalla de la Orden "Al Mérito a la Patria", II grado (5 de junio de 2021) - por gran aporte al desarrollo de la ciencia y muchos años de trabajo concienzudo [5] .

notas

1. ↑ Avetisyan Harutyun Ishkhanovich (VMK MSU) . es.cs.msu.ru. Consultado el 16 de octubre de 2017. Archivado desde el original el 17 de septiembre de 2017. (indefinido)
2. ↑ Resoluciones del Presidium de la Academia Rusa de Ciencias sobre la concesión del título de "Profesor de la Academia Rusa de Ciencias" (ver No. 13) . Consultado el 17 de octubre de 2017. Archivado desde el original el 22 de noviembre de 2016. (indefinido)
3. ↑ Elecciones en la Academia Rusa de Ciencias - 2016 . Consultado el 17 de octubre de 2017. Archivado desde el original el 14 de noviembre de 2016. (indefinido)
4. ↑ Lista de académicos de la Academia de Ciencias de Rusia elegidos por la asamblea general de miembros de la Academia de Ciencias de Rusia (noviembre de 2019) , Portal de la Academia de Ciencias de Rusia  (15 de noviembre de 2019).
5. ↑ Decreto del Presidente de la Federación Rusa de fecha 05/06/2021 No. 340 ∙ Publicación oficial de actos legales ∙ Portal oficial de Internet de información legal . publicación.pravo.gov.ru . Consultado el 9 de junio de 2021. Archivado desde el original el 7 de junio de 2021. (indefinido)

Enlaces

• Perfil de Harutyun Ishkhanovich Avetisyan en el sitio web oficial de la Academia Rusa de Ciencias
• Avetisyan A. I. . ispras.ru. Recuperado: 16 Octubre 2017. (indefinido)
• Artículo en el sitio web de la Crónica de la Universidad de Moscú
• Página en el sitio web de VMK MSU
• Publicaciones en el sistema " VERDAD MGU "

sitios temáticos	Google Académico Scopus Portal matemático de toda Rusia