Лавров Святослав Сергеевич
Лавро́в Святосла́в Серге́евич (12.3.1923, Петроград – 18.6.2004, Санкт-Петербург), российский учёный в области механики и прикладной математики, член-корреспондент АН СССР (1966). Окончил Ленинградскую военно-воздушную академию (1944) и МГУ (1954). В 1947–1966 гг. работал с С. П. Королёвым в СКБ НИИ-88, начальник группы баллистики, начальник отдела математического обеспечения ЭВМ, заведующий Вычислительным центром. В 1966–1971 гг. заведующий лабораторией Вычислительного центра АН СССР. В 1959–1971 гг. преподавал в МГУ, профессор (с 1963); в 1971–1977 гг. – в ЛГУ. В 1977–1988 гг. директор Института теоретической астрономии РАН. В 1988–2004 гг. заведующий лабораторией, советник при дирекции Института прикладной астрономии РАН.
Основные труды по динамике твёрдого тела, автоматическому управлению и вычислительной математике. Под его руководством и при его непосредственном участии создан один из первых трансляторов с языка алгол-60 и реализованы языки ЛИСП и СНОБОК, предназначенные для обработки символьной информации. Получил важные результаты в теории программирования, в частности по проблеме экономии памяти. Ленинская премия (1957). Премия имени Ф. А. Цандера РАН (1997). Награждён орденами Ленина (1957, 1961).
Литература
- Лавров С. С. Универсальный язык программирования. (АЛГОЛ 60). – Москва : Наука, 1964. – (Физико-математическая библиотека инженера).
- Лавров С. С. Баллистика управляемых ракет дальнего действия / С. С. Лавров, Р. Ф. Аппазов, В. П. Мишин. – Москва : Наука, 1966.
- Лавров С. С. Лекции по автоматической обработке данных. Ч. 1. Организация информационных массивов / С. С. Лавров, Л. И. Гончарова. – Москва : [б. и.], 1969.
- Лавров С. С. Входной язык и интерпретатор системы программирования на базе языка ЛИСП для машины БЭСМ–6 / С. С. Лавров, Г. С. Силагадзе. – Москва : [б. и.], 1969.
- Лавров С. С. Вычислительные машины и программирование : [тексты лекций]. Ч. 1. – Москва : [б. и.], 1971.
- Лавров С. С. Вычислительные машины и программирование : [тексты лекций]. Ч. 2 / С. С. Лавров, О. Н. Кацкова. – Москва : [б. и.], 1971.
- Лавров С. С. Автоматическая обработка данных : хранение информации в памяти ЭВМ / С. С. Лавров, Л. И. Гончарова. – Москва : Наука, 1971. – (Библиотечка программиста).
- Лавров С. С. Введение в программирование : [учебное пособие для вузов]. – Москва : Наука, 1973.
- Лавров С. С. Автоматическая обработка данных : язык ЛИСП и его реализация / С. С. Лавров, Г. С. Силагадзе. – Москва : Наука, 1978. – (Библиотечка программиста).
- Лавров С. С. Основные понятия и конструкции языков программирования. – Москва : Финансы и статистика, 1982.
- Лавров С. С. Программирование : математические основы, средства, теория. – Санкт-Петербург : BXV, 2001. – (Мастер. Учебное пособие).