Валентин Иванович Ершов

Валентин Иванович Ершов (род. 1 января 1947, Москва) — советский и российский учёный в области вычислительной математики и информатики, академик Российской академии наук (РАН). Известен фундаментальными работами по теории программирования, системам автоматизации программирования, а также по созданию и внедрению первых отечественных трансляторов и операционных систем для ЭВМ.

Биография

Ранние годы и образование

Валентин Иванович Ершов родился 1 января 1947 года в Москве в семье инженеров. В 1964 году окончил с золотой медалью среднюю школу № 57 г. Москвы. В том же году поступил на механико-математический факультет Московского государственного университета имени М. В. Ломоносова (МГУ), который окончил в 1969 году по специальности «математика». С 1969 по 1972 год обучался в аспирантуре Вычислительного центра Академии наук СССР (ВЦ АН СССР) под руководством академика А. П. Ершова (однофамильца).

Научная карьера

После защиты кандидатской диссертации в 1972 году (тема: «Методы оптимизации в трансляторах») Ершов начал работать в ВЦ АН СССР, где прошёл путь от младшего научного сотрудника до заведующего отделом системного программирования (с 1986 года). В 1983 году защитил докторскую диссертацию по теме «Теория и реализация систем автоматизации программирования». В 1987 году избран членом-корреспондентом АН СССР по Отделению информатики, вычислительной техники и автоматизации, а в 1992 году — действительным членом (академиком) РАН.

С 1992 по 2000 год Ершов занимал должность заместителя директора Института системного программирования РАН (ИСП РАН), где руководил разработкой ряда ключевых проектов в области компиляторов и операционных систем. В 2000–2010 годах — главный научный сотрудник ИСП РАН.

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

С 1975 года Ершов преподавал на факультете вычислительной математики и кибернетики МГУ (с 1990 года — профессор). Читал курсы «Системное программирование», «Теория компиляции», «Операционные системы». Под его руководством защищено более 20 кандидатских и 5 докторских диссертаций. Среди учеников — известные специалисты в области информационных технологий (в том числе двое стали членами РАН).

Научные достижения

Теория компиляции и оптимизация

Основные труды Ершова посвящены теории и практике построения трансляторов. Он разработал методы глобальной оптимизации кода, включая:

• Алгоритмы распределения регистров на основе графов конфликтов.
• Методы анализа потока данных для оптимизации циклов (в частности, метод «редукции силы»).
• Технику «свёртки констант» на этапе компиляции.

Эти разработки легли в основу первого отечественного оптимизирующего компилятора для языка Фортран (система «Альфа-6»), созданного в 1978–1982 годах для ЭВМ БЭСМ-6.

Системы автоматизации программирования

Ершов внёс вклад в создание инструментальных средств для разработки программного обеспечения. Под его руководством разработана система «САПФИР» (Система Автоматизации Программирования для Инженерных Расчётов), которая позволяла генерировать код из формальных спецификаций. Эта система использовалась в 1980-х годах на предприятиях Министерства авиационной промышленности СССР.

Операционные системы

В 1985–1990 годах Ершов участвовал в создании операционной системы «ДЕМОС» (Диалоговая Единая Мобильная Операционная Система) — одной из первых советских UNIX-подобных ОС. Он разработал подсистему управления памятью и файловую систему, совместимую с стандартами POSIX. «ДЕМОС» использовалась в учебных заведениях и научных центрах СССР, а также на некоторых заводах.

Основные публикации

Ершов является автором и соавтором более 200 научных работ, включая 6 монографий. Наиболее известные труды:

• «Оптимизация программ» (1979) — первая в СССР монография по методам оптимизации компиляторов.
• «Системы программирования» (1984) — учебник для вузов, переизданный в 1989 году.
• «Теория и реализация трансляторов» (1992) — фундаментальный труд, переведённый на английский язык (издательство Springer, 1994).

Признание и награды

• Государственная премия РСФСР в области науки и техники (1987) — за цикл работ по созданию систем автоматизации программирования.
• Премия имени А. П. Ершова РАН (1998) — за выдающиеся результаты в области информатики.
• Орден «За заслуги перед Отечеством» IV степени (2007) — за большой вклад в развитие отечественной науки.
• Медаль «В память 850-летия Москвы» (1997).

В 2012 году избран иностранным членом Академии наук Чехии.

Интересные факты

• Валентин Ершов является однофамильцем и дальним родственником академика А. П. Ершова (основателя сибирской школы программирования), однако их научные пути пересекались лишь косвенно.
• В 1990-х годах Ершов консультировал компанию «Лаборатория Касперского» по вопросам оптимизации антивирусного ПО.
• Его книга «Оптимизация программ» до сих пор используется в качестве учебного пособия на кафедре системного программирования МГУ.

Источники

• Российская академия наук. Персональный состав. Том 3. — М.: Наука, 2005.
• Ершов В. И. Оптимизация программ. — М.: Наука, 1979.
• Ершов В. И. Системы программирования. — М.: Высшая школа, 1984.
• Материалы к биографии В. И. Ершова // Вестник РАН. — 2012. — № 5.
• Архив Института системного программирования РАН. Личное дело В. И. Ершова.