Окончила среднюю школу №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 научных работ и учебно-методических пособий для студентов, в том числе:
Корухова Л. С. Введение в алгоритмы (уч. пособие) М.: ф-т ВМК МГУ, 1997 (соавт. Шура-Бура М. Р.);
Корухова Л. С. О процедурности и непроцедурности в задачах планирования целенаправленной деятельности // Изв. РАН, Технич. кибернетика, №5, 1994 (соавт. Любимский Э. З.)
Корухова Л. С. Ассоциативные методы планирования решений сложных задач // Препринт №81 ИПМ РАН М.: 1997 (соавт. Любимский Э. З., Малышко В. В.)
Корухова Л. С. Программирование и численные методы М.: изд-во Моск. ун-та, 2001, 224 с. (соавт. Костомаров Д. П., Манжелей С. Г.)
Корухова Л. С. К 100-летию со дня рождения патриарха отечественного программирования Михаила Романовича Шура-Бура (1918–2008) // Программирование. — 2019. — №3. — С. 3–5. dx.doi.org/10.1134/S0132347419030051
|