Корухова Людмила Сергеевна

Место рождения: г. Златоуст Челябинской обл.

Окончила среднюю школу №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 с. (соавт. Костомаров Д. П., Манжелей С. Г.).