Окончила среднюю школу №3 г. Златоуста (1969). В том же году поступила на механико-математического факультет МГУ, в 1970 г. в связи с образованием факультета вычислительной математики и кибернетики была переведена на 1 курс этого факультета. Окончила факультет вычислительной математики и кибернетики МГУ (1974) и его аспирантуру (1977).

Кандидат физико-математических наук (1978), тема диссертации: «Исследование взаимодействия процедурных и дедуктивных элементов в программировании» (научный руководитель Э. З. Любимский). Ученое звание – доцент (1990). Заслуженный преподаватель МГУ (2003). Награждена медалью «в память 850-летия Москвы» (1997), юбилейным знаком «250 лет МГУ». Лауреат премии по Программе развития МГУ (2016).

Работает в Московском университете с 1977 г.: преподает на кафедре системного программирования в должности ассистента (1977-1988), старшего преподавателя (1988-1989), доцента (с 1989). Ученый секретарь кафедры системного программирования, заместитель заведующего кафедрой (с 1994).

Член ACM, IEEE Computer Society.

Член редколлегии сборника «Программные системы и инструменты».

Область научных интересов: системное программирование, искусственный интеллект, методы решения сложных задач на ЭВМ.

Читала основные курсы лекций «Вычислительные машины и программирование», «Алгоритмы и алгоритмические языки» для студентов 1-2 курсов, специальный курс «Системы планирования и языки искусственного интеллекта». Руководит работой специального семинара «Управление данными и информационные системы». Ведёт занятия по курсам «Алгоритмы и алгоритмические языки», « Архитектура ЭВМ и язык ассемблера».

Автор более 40 научных работ и учебно-методических пособий для студентов, в том числе:

1. Корухова Л. С. Введение в алгоритмы (уч. пособие) – М.: ф-т ВМК МГУ, 1997 (соавт. Шура-Бура М. Р.);
   

2. Корухова Л. С. О процедурности и непроцедурности в задачах планирования целенаправленной деятельности // Изв. РАН, Технич. кибернетика, №5, 1994 (соавт. Любимский Э. З.)
   

3. Корухова Л. С. Ассоциативные методы планирования решений сложных задач // Препринт №81 ИПМ РАН – М.: 1997 (соавт. Любимский Э. З., Малышко В. В.)
   

4. Корухова Л. С. Программирование и численные методы – М.: изд-во Моск. ун-та, 2001, 224 с. (соавт. Костомаров Д. П., Манжелей С. Г.)
   

5. Корухова Л. С. К 100-летию со дня рождения патриарха отечественного программирования Михаила Романовича Шура-Бура (1918–2008) // Программирование. — 2019. — №3. — С. 3–5. dx.doi.org/10.1134/S0132347419030051

© Кафедра системного программирования ВМК МГУ.

Обновлено: 16.II.2024