Окончил среднюю школу №7 г. Калуги (1963), механико-математический факультет МГУ с отличием (1968), заочную аспирантуру ИПМ имени М. В. Келдыша РАН (1973).
Кандидат физико-математических наук (1977, научный руководитель Э. З. Любимский), доктор физико-математических наук (1989). Тема докторской диссертации «Автоматизация разработки программных комплексов». Ученое звание профессор (2009).
Член IEEE и ACM.
Преподает в МГУ на кафедре системного программирования факультета вычислительной математики и кибернетики с 1971 г., в т. ч. в должности доцента (1987-1999), профессора (с 1999).
С 1968 г. по настоящее время работает в Институте прикладной математики им. М. В. Келдыша РАН, с 1978 г. заведует отделом ИПМ.
Область научных интересов: параллельное программирование, операционные системы, системы реального времени.
Под руководством В. А. Крюкова были разработаны:
версия операционной системы ДИСПАК для ЭВМ БЭСМ-6 для работы в режиме реального времени, которая успешно использовалась для обеспечения полетов космических аппаратов;
операционная система бортового вычислительного комплекса космического корабля «Буран», специализированный язык реального времени, система автоматизации программирования и отладки, внесшие решающий вклад в обеспечение эффективности и надежности бортового программного обеспечения космического корабля «Буран»;
система программирования DVM, которая позволяет создавать переносимые параллельные программы для параллельных ЭВМ разной архитектуры, вычислительных кластеров и сетей.
В. А. Крюков читает курс лекций «Распределенные операционные системы». Руководит работой специального семинара «Автоматизация параллельного программирования».
Автор более ста научных работ. Основные труды:
Управляемая виртуальная память // Программирование, №1, 1977;
Управление прохождением задач на ЭВМ // Препринт ИПМ АН СССР, 1981;
Система автоматизации программирования и отладки управляющих алгоритмов // РКТ сер.Y, вып.2, 1986;
FORTRAN DVM язык разработки мобильных параллельных программ // Программирование, №1, 1995;
Разработка параллельных программ для вычислительных кластеров и сетей // Информационные технологии и вычислительные системы. № 1-2, 2003 г.
|