Víktor Petróvich Ivánnikov | |
---|---|
| |
Fecha de nacimiento | 27 de febrero de 1940 |
Lugar de nacimiento | Stupino , Óblast de Moscú , RSFS de Rusia , URSS |
Fecha de muerte | 27 de noviembre de 2016 (76 años) |
Un lugar de muerte | Moscú , Rusia |
País | |
Esfera científica | programación |
Lugar de trabajo | ISP RAS , Universidad Estatal de Moscú , Instituto de Física y Tecnología de Moscú |
alma mater | MIPT |
Titulo academico | Doctor en Ciencias Físicas y Matemáticas ( 1980 ) |
Título académico |
Profesor ( 1986 ) Miembro Correspondiente de la Academia Rusa de Ciencias ( 1984 ) Académico de la Academia Rusa de Ciencias ( 2008 ) |
Estudiantes |
A. I. Avetisyan , Vl.V. Voevodín |
Premios y premios | |
Sitio web | www.ispras.ru |
Archivos multimedia en Wikimedia Commons |
Viktor Petrovich Ivannikov ( 27 de febrero de 1940 , Stupino , región de Moscú - 27 de noviembre de 2016 , Moscú ) - Científico soviético y ruso en el campo de la tecnología informática y la programación , académico de la Academia Rusa de Ciencias (desde el 29 de mayo de 2008, correspondiente miembro de la Academia de Ciencias de la URSS desde 1984). Fundador del Instituto de Programación de Sistemas de la Academia Rusa de Ciencias , editor en jefe de la revista " Programación ", jefe de los departamentos de programación de sistemas en la facultad de la CMC de la Universidad Estatal de Moscú y en el Instituto de Física de Moscú y Tecnología .
Después de completar sus estudios en la escuela secundaria de Kamensk-Uralsky (1957), se graduó en el Instituto de Física y Tecnología de Moscú con un título en Instrumentos y Dispositivos de Cálculo Matemático (1963).
Candidato a Ciencias Físicas y Matemáticas (1971, disertación "El sistema operativo ND-70 para BESM-6 "), Doctor en Ciencias Físicas y Matemáticas (1980, disertación "Problemas de los sistemas operativos de sistemas informáticos multimáquina y la implementación de sistemas operativos sistemas AS-6-BESM-6", profesor (1986).
Ha estado trabajando en la Universidad de Moscú desde 1979 , primero en el Departamento de Automatización de Sistemas Informáticos de la Facultad de Ciencias de la Computación de la Universidad Estatal de Moscú en los siguientes puestos: Profesor Titular ( 1979-1985 ), Profesor Asociado ( 1985-1986 ) , Profesor ( desde 1986 ) . Desde 1994, ha sido el jefe del Departamento de Programación de Sistemas en la facultad del CMC de la Universidad Estatal de Moscú . Jefe del Departamento de Programación de Sistemas del Instituto de Física y Tecnología de Moscú (desde 1996 ) [1] .
Miembro correspondiente de la Academia de Ciencias de la URSS desde 1984, desde mayo de 2008 - Académico de la Academia de Ciencias de Rusia .
En 1994-2014, fue director del Instituto de Programación de Sistemas de la Academia Rusa de Ciencias . Jefe de redacción de la revista " Programación ". Presidente del Consejo Científico "Programación" de la Academia Rusa de Ciencias. Miembro de las comunidades científicas internacionales ACM , IEEE (dirigió la rama rusa de IEEE).
Desde mayo de 2009 - Presidente de la Asociación Rusa de Software Libre (RASPO) [2] . Dio cursos de conferencias en el Instituto de Física y Tecnología de Moscú y la Universidad Estatal de Moscú: "Sistemas operativos", "Bases de datos", "Algoritmos y lenguajes algorítmicos". Se prepararon 5 doctores y 30 candidatos de ciencias. Publicó más de 100 artículos científicos, registró 2 invenciones.
Laureado del Premio Estatal de la URSS (1980).
Esposa - Tamara Nikolaevna; el hijo Pavel es abogado, la hija Natalya [3] .
Murió el 27 de noviembre de 2016 en Moscú. Fue enterrado en el cementerio de Troekurovsky .
Áreas de investigación: programación de sistemas, arquitectura de computadoras, sistemas operativos. De 1962 a 1980, trabajó en el Instituto Lebedev de Mecánica de Precisión y Tecnología Informática de la Academia Rusa de Ciencias , donde ascendió de técnico a uno de los principales especialistas. Hizo una contribución fundamental a la creación de la teoría y la práctica del desarrollo de sistemas operativos y sistemas informáticos. Es uno de los principales participantes en la creación del primer sistema operativo ( D-68 ) para la computadora BESM-6 . Propuso medios operativos para organizar procesos paralelos en tareas y organización jerárquica de sistemas de software. Estos principios, implementados en la siguiente modificación del sistema operativo (ND-70) para BESM-6, formaron la base de su tesis doctoral. Uno de los principales desarrolladores de la estructura de los procesadores y la arquitectura general del complejo multicomputador AS-6, líder y participante activo en la creación e implementación del sistema operativo de una red de área local heterogénea de computadoras basada en el AS-6 complejo (su tesis doctoral está dedicada a este tema). Contribuyó a la creación de sistemas informáticos que proporcionan procesamiento de información en tiempo real en los centros de control de vuelo de naves espaciales.
En la década de 1980, mientras trabajaba en el Instituto de Investigación Delta del Ministerio de Industria Electrónica de la URSS y en el Instituto de Problemas Cibernéticos de la Academia de Ciencias de la URSS, lideró la creación e implementación de sistemas de automatización de diseño y software de supercomputadora. De 1991 a 1994, dirigió el departamento del Instituto de Problemas Cibernéticos de la Academia Rusa de Ciencias, fue director del Instituto de Programación de Sistemas desde el momento de su formación por ISP en enero de 1994 hasta 2015 [4] . La investigación de fines de la década de 1990 y principios de la de 2000 se asoció con la creación de un sistema para automatizar el desarrollo de especificaciones formales para códigos fuente de programas y un sistema para generar pruebas para una amplia clase de interfaces de software, un sistema de herramientas para estudiar software heredado, como así como garantizar la interoperabilidad en sistemas distribuidos orientados a objetos. Responsable del grupo de trabajo DOOS (Distributed Object-Oriented Systems) en ISP RAS.
sitios temáticos | |
---|---|
diccionarios y enciclopedias | |
En catálogos bibliográficos |