ИСТИНА

Корухова Людмила Сергеевна пользователь ответственный

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, доцент, с 1 октября 1977

кандидат физико-математических наук с 1978 года

доцент по кафедре системного программирования с 13 декабря 1990 г.

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, ответственный по системе

Соавторы: Любимский Э.З., Малышко В.В., Вакин В.В., Белеванцев А.А., Гайсарян С.С., Иванников В.П., Манжелей С.Г., Островский В.В., Пильщиков В.Н., Кузьменкова Е.А., Соловская Л.Б., LYUBIMSKIJ E.Z., Аксенова Е.Л. показать полностью..., Борисенко О.Д., Бухштаб Ю.А., Евтеева Н.Н., Корягин Д.А., Костомаров Д.П., Максимов Л.В., Махнычев В.С., Озерова Т.А., Падарян В.А., Поспелов А.Н., Шалаева Н.С., Шура-Бура М.Р.

27 статей, 11 книг, 6 докладов на конференциях, 5 тезисов докладов, 6 НИР, 29 научных отчётов, 4 награды, 4 членства в научных обществах, 11 членств в редколлегиях сборников, 4 членства в программных комитетах, 1 диссертация, 122 дипломные работы, 21 курсовая работа, 24 учебных курса

Количество цитирований статей в журналах по данным
РИНЦ:

IstinaResearcherID (IRID): 1438521

ResearcherID: AAJ-7145-2021

Scopus Author ID: 6507260449

ORCID: 0000-0002-4472-9069

Деятельность

---

• Статьи в журналах

  • • 2019 К 100-ЛЕТИЮ СО ДНЯ РОЖДЕНИЯ ПАТРИАРХА ОТЕЧЕСТВЕННОГО ПРОГРАММИРОВАНИЯ МИХАИЛА РОМАНОВИЧА ШУРА-БУРА (1918–2008)
    • Корухова Л.С.
    • в журнале Программирование, № 3, с. 3-5 DOI
  • • 2009 Проблема представления знаний в программных системах планирования целенаправленной деятельности. Научнай отчет по проекту №08-01-00627-а
    • Корухова Л.С.
    • в журнале Электронная публикация в системе Internet,электр.адрес: http://grant.rfbr.ru/forms/2008/report_print.asp
  • • 2009 Эдуард Зиновьевич Любимский. Ученый, коллега учитель
    • Корухова Л.С., Корягин Д.А.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), с. 1-102
  • • 2002 Программные средства реализации ассоциативного планирования
    • Корухова Л.С., Любимский Э.З., Малышко В.В.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 10, с. 1-29
  • • 2000 One Inference Engine for Expert Systems with Incomplete Information
    • Vakin V.V., Korukhova L.S., Lubimsky E.Z.
    • в журнале KIAM Preprint, № 14, с. 1-26
  • • 2000 Об одном механизме вывода для экспертных систем с неполной информацией
    • Вакин В.В., Корухова Л.С., Любимский Э.З.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 14, с. 1-26
  • • 2000 Реализация стратегий планирования на основе управляющих стереотипов
    • Корухова ЛС, Любимский ЭЗ, Малышко ВВ
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 13, с. 1-27
  • • 1999 Сравнительный анализ экспертных систем диагностики
    • Вакин В.В., Корухова Л.С., Любимский Э.З.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 77, с. 1-21
  • • 1998 Программные средства поддержки немонотонного планирования
    • Корухова Л.С., Любимский Э.З., Максимов Л.В., Малышко В.В.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 75, с. 1-17
  • • 1997 Ассоциативные методы планирования решений сложных задач
    • Корухова ЛС, Любимский ЭЗ, Вакин В.В., Малышко В.В.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 81, с. 1-26
  • • 1995 Альтернативное немонотонное планирование на основе графа
    • Корухова Л.С., Любимский Э.З., Соловская Л.Б.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 108, с. 1-14
  • • 1994 О процедурности и непроцедурности в задачах планирования целенаправленной деятельности
    • Корухова Людмили Сергеевна, Любимский Эдуард Зиновьевич
    • в журнале Известия Академии наук СССР. Техническая кибернетика, № 5, с. 72-78
  • • 1994 Программирование на основе стереотипов
    • Корухова Л.С., Любимский Э.З., Островский В.В.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 18, с. 1-21
  • • 1979 PLANNING SYSTEM BASED ON NATURAL PRINCIPLES
    • Korukhova L.S.
    • в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), № 3, с. 20 c.
  • • 1978 Новые возможности планирования при свободном взаимодействии процедурных и дедуктивных элементов. Депонир. рукопись №483-78
    • Корухова Л.С.
    • в журнале Аннотированный библиографический указатель "Депонированные научные работы" ВИНИТИ РАН, издательство ВИНИТИ (М.)
  • • 1978 Система планирования действий, основанная на некоторых естественных принципах-ПЛАР
    • Корухова Л.С., Любимский Э.З.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), с. 1-58
  • • 1978 Система планирования, основанная на естественных принципах
    • Корухова Л.С.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 3, с. 56-65
  • • 1977 Диалоговая процедурно-дедуктивная система СВЯЗКА
    • Корухова Л.С., Любимский Э.З.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), с. 1-45
  • • 1977 Диалоговый процедурно-ориентированный язык ПРОЦ и его реализация
    • Корухова Л.С., Любимский Э.З.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), с. 1-35
  • • 1977 Сопоставление ситуаций в условиях альтернативного немонотонного планирования
    • Корухова Л.С., Любимский Э.З., Манжелей С.Г.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 77, с. 1-18
  • • 1974 PROCEDURE AND NON-PROCEDURE IN THE PLANNING PROBLEMS OF GOAL-DIRECTED ACTIVITY
    • KORUKHOVA L.S., LYUBIMSKIJ E.Z.
    • в журнале Известия Российской академии наук. Теория и системы управления, № 6, с. 72-78

• Статьи в сборниках

  • • 2010 Алгоритмы и алгоритмические языки
    • Корухова Л.С., Пильщиков В.Н.
    • в сборнике Программы обязательных учебных курсов факультета ВМК МГУ: 3 поток, место издания МАКС Пресс Москва МГУ, с. 60-67
  • • 2003 Ассоциативные и дедуктивные методы в планировании многошаговых многовариантных задач
    • Корухова Л.С., Малышко В.В.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Ф-т ВМиК МГУ Москва, том 4, с. 108-121
    • редактор Корухова Людмила Сергеевна
  • • 1996 Альтернативное немонотонное планирование при свободном взаимодействии процедурных и дедуктивных элементов
    • Корухова Л.С., Любимский Э.З., Манжелей С.Г., Соловская Л.Б.
    • в сборнике Вопросы кибернетики. Приложения системного программирования, серия Вопросы кибернетики, место издания Научный совет по комплексной проблеме «Кибернетика» РАН, Москва, том 2, с. -19с
    • редактор Иванников Виктор Петрович
  • • 1982 Система представления геометрических знаний
    • Болдырев А.С., Корухова Л.С., Поспелов А.Н.
    • в сборнике Некоторые вопросы прикладной математики и программного обеспечения, место издания М.: Изд-во Моск. ун-та, с. 4 с.
  • • 1981 Об использовании идеологии фреймов для представления данных в системах документального поиска
    • Бухштаб Ю.А., Корухова Л.С., Евтеева Н.Н., Любимский Э.З., Шалаева Н.С.
    • в сборнике Программирование и технические средства СКП ЭВМ МГУ, место издания М.: Изд-во Моск. ун-та, с. -7с.
  • • 1981 Организация работы с базой данных в планирующей системе
    • Корухова Л.С.
    • в сборнике Программирование и технические средства СКП ЭВМ МГУ, место издания М.: Изд-во Моск. ун-та, с. -4с.

• Книги

  • • 2019 Элементы теории алгоритмов
    • Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Кузьменкова Е.А.
    • место издания Издательский отдел факультета ВМиК МГУ М, 36 с.
  • • 2012 Задачи экзаменов по вводному курсу программирования (учебно-методическое пособие)
    • Белеванцев А.А., Гайсарян С.С., Иванников В.П., Корухова Л.С., Падарян В.А.
    • место издания М.: Издательский отдел факультета ВМК МГУ, ISBN 978-5-89407-497-9, 85 с.
  • • 2012 Семинары по курсу "Алгоритмы и алгоритмические языки": учебно-методическое пособие для студентов 1 курса
    • Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Кузьменкова Е.А., Махнычев В.С.
    • место издания Изд-во Моск. ун-та М, ISBN 978-5-89407-500-6, 140 с.
  • • 2010 Введение в алгоритмы
    • Корухова Л.С., Шура-Бура М.Р.
    • место издания М.: Издательский отдел факультета ВМК МГУ, ISBN 978-5-89407-399-6, 978-5-317-03122-0, 32 с.
  • • 2007 Курс “Алгоритмы и алгоритмические языки” (методическое пособие)
    • Иванников В.П., Корухова Л.С., Пильщиков В.Н.
    • место издания М.: Издательский отдел факультета ВМК МГУ, 48 с.
  • • 2002 Письменный экзамен по курсу “Алгоритмы и алгоритмические языки”(методическое пособие)
    • Иванников В.П., Корухова Л.С., Пильщиков В.Н.
    • место издания М.: Издательский отдел факультета ВМК МГУ, 47 с.
  • • 2001 Программирование и численные методы
    • Костомаров Д.П., Корухова Л.С., Манжелей С.Г.
    • место издания Изд-во Моск. ун-та М, ISBN 5-211-04059-7, 224 с.
  • • 1997 Введение в алгоритмы. Учебное пособие для студентов 1 курса
    • Корухова Л.С., Шура-Бура М.Р.
    • место издания М.: Издат. отдел факультета ВМК МГУ, 28 с.
  • • 1988 Информационный поиск. Методическое пособие по спецпрактикуму на ЭВМ
    • Корухова Л.С., Островский В.В.
    • место издания М.: Изд-во Моск. ун-та, ISBN 5-211-00275-1, 27 с.
  • • 1987 Методы хеширования и работа с таблицами
    • Корухова Л.С., Островский В.В.
    • место издания М.: Изд-во Моск. ун-та, 18 с.
  • • 1985 Системы планирования и языки искусственного интеллекта
    • Корухова Л.С.
    • место издания М.: Изд-во Моск. ун-та, 44 с.

• Доклады на конференциях

  • • 2022 Модель управления жизненным циклом сервисов в облачной среде (Устный)
    • Авторы: Корухова Л.С., Аксенова Е.Л., Бирюков А.М.
    • Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
  • • 2022 Повышение качества нейросетевой генерации комментариев к коммитам (Устный)
    • Авторы: Корухова Л.С., Раснюк А.Г.
    • Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
  • • 2021 Автоматизация развертывания системы планирования задач Slurm в облачной среде (Устный)
    • Авторы: Аксенова Е.Л., Корухова Л.С., Озерова Т.А.
    • Ломоносовские чтения 2021. Секция вычислительная математика и кибернетика, 20-29 апреля 2021, Москва, Россия, 20-29 апреля 2021
  • • 2020 Система развертывания распределенных сервисов в облачной среде (Устный)
    • Авторы: Аксенова Е.Л., Борисенко О.Д., Корухова Л.С.
    • Ломоносовские чтения 2020. Секция вычислительной математики и кибернетики, Факультет вычислительной математики и кибернетики МГУ имени М.В.Ломоносова, Россия, 21 октября - 2 ноября 2020
  • • 2020 Е. А. Жоголев в Московском университете (Устный)
    • Автор: Корухова Л.С.
    • Заседание семинара, посвященное 90-летию со Дня Рождения Евгения Андреевича Жоголева, факультет ВМК МГУ имени М.В.Ломоносова, Россия, 19 февраля 2020
  • • 2017 Проверка UML-моделей с помощью генерации текстовых спецификаций (Устный)
    • Авторы: Корухова Л.С., Ершов М.С., Малышко В.В.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017

• Тезисы докладов

  • • 2022 Модель управления жизненным циклом сервисов в облачной среде
    • Бирюков А.М., Аксенова Е.Л., Корухова Л.С.
    • в сборнике Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, издательство ООО "МАКС Пресс" (Москва), том 2022, тезисы, с. 95-97
  • • 2022 Повышение качества нейросетевой генерации комментариев к коммитам
    • Корухова Л.С., Раснюк А.Г.
    • в сборнике Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, издательство ООО "МАКС Пресс" (Москва), том 2022, тезисы, с. 99-101
  • • 2021 АВТОМАТИЗАЦИЯ РАЗВЕРТЫВАНИЯ СИСТЕМЫ ПЛАНИРОВАНИЯ ЗАДАЧ -SLURM В ОБЛАЧНОЙ СРЕДЕ
    • Озерова Т.А., Аксенова Е.Л., Корухова Л.С.
    • в сборнике Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), том 2021, тезисы, с. 117-118
  • • 2020 Система развертывания распределенных сервисов в облачной среде
    • Аксенова Е.Л., Борисенко О.Д., Корухова Л.С.
    • в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 27-28
  • • 2017 Проверка UML-моделей с помощью генерации текстовых спецификаций
    • Корухова Л.С., Малышко В.В., Ершов М.С.
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 34-35

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
    • Кафедра системного программирования
    • Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Богатенкова А.О., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Корныхин Е.В., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Майоров В.Д., Малышко В.В., Манушин Д.В., Падарян В.А., Перминов А.И., Петренко А.К., Петров О.М., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В.
  • • 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
    • Кафедра системного программирования
    • Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.
  • • 1 января 2014 - 31 декабря 2016 Моделеориентированный подход в инженерии программных систем искусственного интеллекта
    • Кафедра системного программирования
    • Руководитель: Корухова Л.С. Участники НИР: Гомзин А.Г., Корныхин Е.В., Корухова Ю.С., Кузьменкова Е.А., Малышко В.В., Фастовец Н.Н.
  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.
  • • 1 января 2011 - 31 декабря 2013 Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта
    • Кафедра системного программирования
    • Руководитель: Корухова Л.С. Участники НИР: Кузьменкова Е.А., Малышко В.В.
  • • 1 января 2008 - 31 декабря 2010 Проблема представления знаний в программных системах планирования целенаправленной деятельности
    • Кафедра системного программирования
    • Руководитель: Корухова Л.С. Участники НИР: Корухова Ю.С., Кузьменкова Е.А., Малышко В.В.

• Отчеты

  • • 2021 Исследование методов построения систем анализа и проектирования программного обеспечения. Этап 1
    • Авторы: Корухова Л.С., Дудина И.А., Кулямин В.В.
    • #121042600045-5, 14 с.
  • • 2020 Развитие теории и методов анализа и проектирования программ
    • Авторы: Аветисян А.И., Корухова Л.С.
    • #АААА-А16-116021510037-3, 14 с.
  • • 2019 Развитие теории и методов анализа и проетированиея программ. Отчет по этапу №4
    • Авторы: Аветисян А.И., Корухова Л.С.
    • #АААА-А16-116021510037-3, 10 с.
  • • 2018 Развитие теории и методов анализа и проектирования программ
    • Авторы: Аветисян А.И., Корухова Л.С., Гомзин А.Г., Корныхин Е.В.
    • #этап 3, 11 с.
  • • 2017 Развитие теории и методов анализа и проектирования программ. Этап 2
    • Автор: Корухова Л.С.
    • #АААА-А16-116021510037-3, 10 с.
  • • 2016 Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Итоговый отчет по проекту, этап 3(2016г.)
    • Автор: Корухова Л.С.
    • #14-01-00214 а, 45 с.
  • • 2015 Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 2(2015г.)
    • Автор: Корухова Л.С.
    • #14-01-00214 а, 43 с.
  • • 2015 Теоретические основы и методы анализа и проектирования программ. Итоговый отчет
    • Авторы: Иванников В.П., Корухова Л.С.
    • #01201154974, 14 с.
  • • 2014 Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
    • Авторы: Корухова Л.С., Кузьменкова Е.А., Корухова Ю.С., Малышко В.В., Корныхин Е.В., Фастовец Н.Н.
    • #14-01-00214 а, 43 с.
  • • 2014 Теоретические основы и методы анализа и проектирования программ. Этап 4
    • Автор: Корухова Л.С.
    • #01201154974
  • • 2013 Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта
    • Автор: Корухова Л.С.
    • #11-01-00638, 23 с.
  • • 2010 Проблема представления знаний в программных системах планирования целенаправленной деятельности
    • Автор: Корухова Л.С.
    • #08-01-00627-а
  • • 2010 Исследование современных методов анализа и проектирования программного обеспечения
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Чернов А.В., Малышко В.В.
    • #0120.0601687
  • • 2007 Методы построения программных систем планирования целенаправленной деятельности
    • Автор: Корухова Л.С.
    • #05-01-00948-а
  • • 2005 Процедурные и непроцедурные методы построения моделей планирования целенаправленной деятельности. Итоговый научный отчет по проекту №02-01-00281-а
    • Автор: Корухова Л.С.
    • #02-01-00281-а, 14 с.
  • • 2005 Теоретические основы и методы построения систем автоматизации программирования
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Малышко В.В.
    • #01.2.00 107164
  • • 2004 Процедурные и непроцедурные методы построения моделей планирования целенаправленной деятельности
    • Автор: Корухова Л.С.
    • #02-01-00281-а
  • • 2001 Ассоциативные и индуктивные методы в планировании решений многошаговых многовариантных задач
    • Автор: Корухова Л.С.
    • #99-01-00306
  • • 2001 Автоматизация процессов прямой и обратной инженерии на основе использования формальных спецификаций (пользовательская версия прототипа)
    • Автор: Корухова Л.С.
    • #203-5(00)-П-Д01
  • • 2000 Автоматизация процессов прямой и обратной инженерии на основе использования формальных спецификаций
    • Авторы: Корухова Л.С., Кузьменкова Е.А.
    • #203-5(00)-П
  • • 2000 Разработка спецификаций и прототипная реализация инструментальных средств поддержки и сопровождения наследуемого программного обеспечения
    • Автор: Корухова Л.С.
    • #0199.0 003318 , 33 с.
  • • 2000 Развитие теории и методов построения систем автоматизации программирования
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Веденеев Е.П.
    • #01960003309
  • • 1998 РАЗРАБОТКА МЕТОДОВ ИНДУКТИВНОГО НЕМОНОТОННОГО ПЛАНИРОВАНИЯ НА ОСНОВЕ КОНЦЕПЦИИ СТЕРЕОТИПА
    • Автор: Корухова Л.С.
    • #96-01-01007
  • • 1998 Разработка методов индуктивного немонотонного планирования на основе концепции стереотипа
    • Автор: Корухова Л.С.
    • #96-01-01007
  • • 1998 РАЗРАБОТКА МЕТОДОВ ИНДУКТИВНОГО НЕМОНОТОННОГО ПЛАНИРОВАНИЯ НА ОСНОВЕ КОНЦЕПЦИИ СТЕРЕОТИПА
    • Автор: Корухова Л.С.
    • #96-01-01007, 18 с.
  • • 1998 Разработка и реализация инструментальных программных средств планирования решений сложных задач
    • Автор: Корухова Л.С.
    • #037.01.188.24
  • • 1996 ИССЛЕДОВАНИЕ И РАЗРАБОТКА АРХИТЕКТУРЫХ ПРИНЦИПОВ ОРГАНИЗАЦИИ ИНТЕГРИРОВАННЫХ РАСПРЕДЕЛЕННЫХ НЕОДНОРОДНЫХ ОБЪЕКТНЫХ СИСТЕМ
    • Авторы: ИВАННИКОВ В.П., КОРУХОВА Л.С., и др.
    • #96-01-01278
  • • 1995 Проблемно-ориентированные методы планирования поиска решений в экспертных системах
    • Автор: Корухова Л.С.
    • #93-01-00613
  • • 1916 Развитие теории и методов анализа и проектирования программ. Этап 1
    • Автор: Корухова Л.С.
    • #АААА-А16-116021510037-3, 10 с.

• Награды и премии

  • • 2016 Премия по Программе развития МГУ
    • Лауреат: Корухова Людмила Сергеевна
    • МГУ им. М.В. Ломоносова, Россия
  • • 2004 Юбилейный нагрудный знак "250 лет МГУ им. М.В. Ломоносова"
    • Лауреат: Корухова Людмила Сергеевна
    • МГУ имени М.В.Ломоносова, Россия
  • • 2003 Почетное звание "Заслуженный преподаватель Московского университета"
    • Лауреат: Корухова Людмила Сергеевна
    • МГУ имени М.В.Ломоносова, Россия
  • • 1997 Медаль «В память 850-летия Москвы» - государственная награда Российской Федерации
    • Лауреат: Корухова Людмила Сергеевна
    • Российская Федерация, Россия

• Членство в научных обществах

  • • с 2019 Associaton for Computing Machinery (ACM)
    • США
  • • с 2019 IEEE (Institute of Electrical and Electronics Engineers)
    • США
  • • с 2004 Associaton for Computing Machinery
    • США
  • • с 2003 IEEE Computer Society
    • США

• Участие в редколлегии сборников

  • • 2017 Программные системы и инструменты, Тематический сборник № 17
    • член редколлегии: Корухова Л.С.
    • том 17
    • издательство ООО "МАКС Пресс" (Москва)
  • • 2016 Программные системы и инструменты, Тематический сборник № 16
    • член редколлегии: Корухова Л.С.
    • серия Программные системы и инструменты, том 16
    • место издания МАКС Пресс Москва
  • • 2015 Программные системы и инструменты: тематический сборник
    • члены редколлегии: Корухова Л.С., Мальковский М.Г.
    • том 16
    • место издания МАКС Пресс Москва, Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова
  • • 2014 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Корухова Л.С., Терехин А.Н.
    • серия Программные системы и инструменты, том 15
    • место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ
  • • 2013 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Королев Л.Н., Корухова Л.С., Терехин А.Н.
    • серия Программные системы и инструменты, том 14
    • место издания МАКС Пресс, Москва
  • • 2012 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Костенко В.А., Королев Л.Н., Корухова Л.С., Королев Л.Н.
    • серия Программные системы и инструменты, том 13
    • место издания Макс-ПРЕСС Москва
  • • 2011 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Королев Л.Н., Корухова Л.С., Костенко В.А., Мальковский М.Г.
    • серия Программные системы и инструменты, том 12
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
  • • 2010 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Корухова Л.С., Костенко В.А., Королев Л.Н.
    • серия Программные системы и инструменты, том 11
    • место издания Изд. отделения ф-та ВМК МГУ Москва
  • • 2009 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Корухова Л.С., Костенко В.А., Королев Л.Н.
    • серия Программные системы и инструменты, том 10
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
  • • 2008 Программные системы и инструменты. Тематический сборник
    • члены редколлегии: Корухова Л.С., Костенко В.А., Королев Л.Н.
    • серия Программные системы и инструменты, том 9
    • место издания МАКС Пресс Москва
  • • 2003 Программные системы и инструменты. Тематический сборник
    • член редколлегии: Корухова Л.С.
    • серия Программные системы и инструменты, том 4
    • место издания Ф-т ВМиК МГУ Москва

• Участие в программных комитетах конференций

  • • 19 февраля 2020 Заседание семинара, посвященное 90-летию со Дня Рождения Евгения Андреевича Жоголева
    • Заместитель председателя программного комитета
    • факультет ВМК МГУ имени М.В.Ломоносова, Россия
  • • 19 февраля 2020 Заседание семинара, посвященное 90-летию со Дня Рождения Евгения Андреевича Жоголева
    • Председатель организационного комитета
    • факультет ВМК МГУ имени М.В.Ломоносова, Россия
  • • 9 ноября 2018 Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура
    • Заместитель председателя программного комитета
    • Москва, Россия
  • • 9 ноября 2018 Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура
    • Председатель организационного комитета
    • Москва, Россия

• Диссертация

  • • 1978 Исследование взаимодействия процедурных и дедуктивных элементов в программировании
    • Кандидатская диссертация по специальности 01.01.10 (физ.-мат. науки)
    • Автор: Корухова Л.С., к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Научный руководитель: Любимский Э.З.
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Руководство дипломными работами

  • • 2023 Хранение и обработка модели представления экземпляров узлов стандарта OASIS TOSCA
    • Научный руководитель: Корухова Л.С.
    • Автор: Тулин Дмитрий Ильич (Бакалавр)
  • • 2023 Хранение данных как сервис платформенного уровня облачной среды
    • Научный руководитель: Корухова Л.С.
    • Автор: Цирунов Леонид Александрович (Бакалавр)
  • • 2023 Распознавание рукописного текста на русском языке
    • Научный руководитель: Корухова Л.С.
    • Автор: Богатенкова Анастасия Олеговна (Магистр)
  • • 2023 Методы нагрузочного тестирования среды разработки моделей машинного обучения
    • Научный руководитель: Корухова Л.С.
    • Автор: Ковтун Данила Петрович (Бакалавр)
  • • 2022 Нейросетевые модели генерации комментариев к коммитам на основе абстрактных синтаксических деревьев
    • Научный руководитель: Корухова Л.С.
    • Автор: Раснюк Алекксандр Геннадьевич (Магистр)
  • • 2022 Нейросетевые методы классификации целей цитирования
    • Научный руководитель: Корухова Л.С.
    • Автор: Мотриченко Дмитрий Олегович (Бакалавр)
  • • 2022 Исследование методов и разработка системы автоматического масштабирования сервисов в облачной среде
    • Научный руководитель: Корухова Л.С.
    • Автор: Бирюков Андрей Матвеевич (Бакалавр)
  • • 2022 Исследование и разработка системы предоставления высокопроизводительных кластеров в облачной среде по запросу с поддержкой видеоускорителей
    • Научный руководитель: Корухова Л.С.
    • Автор: Озерова Татьяна Александровна (Бакалавр)
  • • 2021 Предсказание резистентности микобактерии tuberclosis к антибиотикам с помощью линейных смешанных моделей
    • Научный руководитель: Корухова Л.С.
    • Автор: Гугучкин Егор Павлович (Бакалавр)
  • • 2021 Построение расширенного иерархического тезауруса ключевых слов научно-предметной области
    • Научный руководитель: Корухова Л.С.
    • Автор: Мисра Никита Аншуманович (Магистр)
  • • 2021 Маркирование выводимых на печать текстовых документов посредством изменения визуального представления слов
    • Научный руководитель: Корухова Л.С.
    • Автор: Мамаев Павел Вячеславович (Бакалавр)
  • • 2020 Контекстно-зависимая рекомендация статей на основе истории поиска
    • Научный руководитель: Корухова Л.С.
    • Автор: Самохина Анна Романовна (Бакалавр)
  • • 2020 Контекстно-зависимая рекомендация статей на основе истории поиска
    • Научный руководитель: Корухова Л.С.
    • Автор: Самохиа А.Р. (Бакалавр)
  • • 2020 Исследование и разработка системы развертывания распределенных сервисов по запросу в облачных средах
    • Научный руководитель: Корухова Л.С.
    • Автор: Аксенова Елена Леонидовна (Магистр)
  • • 2020 Исследование и разработка системы развертывания распределенных сервисов по запросу в облачных средах
    • Научный руководитель: Корухова Л.С.
    • Автор: Аксенова Е.Л. (Магистр)
  • • 2019 Практический метод сокращения размера динамических библиотек в формате ELF
    • Научный руководитель: Корухова Л.С.
    • Автор: Шалаев Михаил Михайлович (Специалист)
  • • 2019 Методы глубокого активного обучения алгоритмов обработки текстов
    • Научный руководитель: Корухова Л.С.
    • Автор: Раснюк Александр Геннадьевич (Бакалавр)
  • • 2019 Методы выявления именных групп
    • Научные руководители: Корухова Л.С., Гомзин А.Г.
    • Автор: Иконникова Мария Кирилловна (Магистр)
  • • 2018 Исследование и разработка отказоустойчивого распределенного облачного сервиса идентификации
    • Научные руководители: Корухова Л.С., Борисенко О.Д.
    • Автор: Аксенова Елена Леонидовна (Бакалавр)
  • • 2018 Исследование и разработка методов тестирования корректности работы, отказоустойчивости и масштабирования распределенных систем в задаче банковских транзакций в облачной среде
    • Научные руководители: Корухова Л.С., Борисенко О.Д.
    • Автор: Тапехин Андрей Николаевич (Магистр)
  • • 2016 Программные средства для работы с медицинскими данными в области трансплантации гемопоэтических стволовых клеток
    • Научный руководитель: Корухова Л.С.
    • Автор: Пастух Денис Дмитриевич (Специалист)
  • • 2010 Разработка элементов управления данными для мобильных томографов
    • Научные руководители: Корухова Л.С., Ермаков А.В.
    • Автор: Юганов Евгений Васильевич (Специалист)
  • • 2009 Система решения задач, основанная на графе планирования
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Коротаевский А.А. (Специалист)
  • • 2009 Рефакторинг базы знаний решателя геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Байзакаев Т.Т. (Специалист)
  • • 2008 Сопоставитель ситуаций в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Костенко Е.И. (Специалист)
  • • 2008 Система объяснений решателя геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Паракецов В.В. (Специалист)
  • • 2008 Планирование решений геометрических задач с использованием дополнительных построений
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Крапухина А.Д. (Специалист)
  • • 2008 Методы представления знаний в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Титов А.О. (Специалист)
  • • 2007 Сопоставитель стереотипов в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Голубов Ф.И. (Специалист)
  • • 2007 Планирование на основе графа в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Аброскин А.А. (Специалист)
  • • 2007 Методы представления знаний в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Недумов Я.Р. (Специалист)
  • • 2006 Реализация методов планирования в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Булавин Д.А. (Специалист)
  • • 2006 Программные средства поддержки базы знаний решателя геометрических задач на основе онтологий
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Капустин Ю.Н. (Специалист)
  • • 2006 Метод планирования на основе «ленивого» сопоставления в решателе геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Носов П.А. (Специалист)
  • • 2005 Метод построения систем анализа обстановки
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Арделян Н.В. (Специалист)
  • • 2005 База знаний решателя геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Абашкина О.А. (Специалист)
  • • 2004 Разработка редактора базы знаний решателя геометрических задач
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Капустин А.Н. (Специалист)
  • • 2003 Система объяснения на основе XML представления знаний
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Стырин Е.М. (Специалист)
  • • 2003 Программные средства поддержки контекстов и планирование на основе графа
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Коченова О.Т. (Специалист)
  • • 2003 Планирование на основе стереотипов в модельной задаче перемещений робота
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Ташкинов Д.А. (Специалист)
  • • 2002 Разработка информационно-поисковой системы в рамках рекомендаций RDF
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Горященко А.С. (Специалист)
  • • 2002 Построение систем планирования на основе генетических алгоритмов
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Большакова Е.А. (Специалист)
  • • 2002 Планирование на основе ограничений
    • Научный руководитель: Корухова Л.С.
    • Автор: Старкина А.В. (Специалист)
  • • 2002 Использование языка XML для представления знаний
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Алехин С.Д. (Специалист)
  • • 2001 Программные средства продукционных систем на базе RETE алгоритма
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Борисов П.А. (Специалист)
  • • 2001 Программные средства искусственных нейронных сетей
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Воропаев Р.С. (Специалист)
  • • 2001 Планирование на основе нескольких стратегий
    • Научные руководители: Малышко В.В., Корухова Л.С.
    • Автор: Марков С.И. (Специалист)
  • • 2001 Алгоритмы анализа формулировок задач на естественном языке
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Смирнов Н.А. (Специалист)
  • • 2000 Редактор базы знаний решателя геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Блохин А.А. (Специалист)
  • • 2000 Исследование проблемы накопления знаний в системах искусственного интеллекта
    • Научный руководитель: Корухова Л.С.
    • Автор: Матвеев М.А. (Специалист)
  • • 1999 Разработка функциональных стереотипов для решателя геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Воробьев А.В. (Специалист)
  • • 1998 Система объяснения в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Максимов Л.В. (Специалист)
  • • 1998 Реализация алгоритма сопоставления с образцом в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Назаров С.В. (Специалист)
  • • 1998 Разработка элементов базы знаний решателя геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Беляков А.А. (Специалист)
  • • 1998 Инструментальные средства моделирования трехмерных сцен
    • Научный руководитель: Корухова Л.С.
    • Автор: Златов А.В. (Специалист)
  • • 1997 Система визуализации и объяснения решений геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Туйкин М.О. (Специалист)
  • • 1997 Разработка интерфейса для решателя геометрических задач в среде Windows
    • Научный руководитель: Корухова Л.С.
    • Автор: Зиновьев В.В. (Специалист)
  • • 1997 Разработка библиотеки функциональных стереотипов для решателя геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Гузанова С.В. (Специалист)
  • • 1997 Методы программирования настраиваемых драйверов
    • Научный руководитель: Корухова Л.С.
    • Автор: Русаков А.М. (Специалист)
  • • 1997 Исследование применимости эволюционных алгоритмов к решению сложных задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Белоусова Н.Ю. (Специалист)
  • • 1997 Исследование методов обработки картографической информации
    • Научный руководитель: Корухова Л.С.
    • Автор: Балтрушевич А.Ю. (Специалист)
  • • 1997 Защита информации на основе интеграции программных систем
    • Научный руководитель: Корухова Л.С.
    • Автор: Запольский Г.А. (Специалист)
  • • 1996 Реализация дедуктивных и индуктивных методов в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Вакин В.В. (Специалист)
  • • 1996 Разработка интерфейса решателя геометрических задач в среде Windows
    • Научный руководитель: Корухова Л.С.
    • Автор: Малышко В.В. (Специалист)
  • • 1996 Программная поддержка работы с бухгалтерскими документами
    • Научный руководитель: Корухова Л.С.
    • Автор: Наумов В.А. (Специалист)
  • • 1996 Применение методики метакомпиляторов при решении задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Станевичюте Э.А. (Специалист)
  • • 1996 Исследование проблемы компиляции языка описания интерфейсов
    • Научный руководитель: Корухова Л.С.
    • Автор: Суркова Н.В. (Специалист)
  • • 1996 Защита от несанкционированного копирования
    • Научный руководитель: Корухова Л.С.
    • Автор: Самсонов Н.М. (Специалист)
  • • 1995 Реализация информационно-поисковой системы в среде ИРИС
    • Научный руководитель: Корухова Л.С.
    • Автор: Семенов А.В. (Специалист)
  • • 1995 Реализация интерфейса в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Абасов Э.Г. (Специалист)
  • • 1995 Реализация базы знаний решателягеометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Дробышевский М.Ю. (Специалист)
  • • 1995 Разработка специализированного программного обеспечения
    • Научный руководитель: Корухова Л.С.
    • Автор: Лазарко С.В. (Специалист)
  • • 1995 Исследование применимости генетических алгоритмов при решении сложных задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Абрамова М.В. (Специалист)
  • • 1995 Визуализация процесса решения в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Сулицкий А.Ю. (Специалист)
  • • 1994 Сопоставитель ситуаций в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Манжелей С.Г. (Специалист)
  • • 1994 Организация контекста и работа с графом планирования
    • Научный руководитель: Корухова Л.С.
    • Автор: Соловскоя Л.Б. (Специалист)
  • • 1994 Агоритм поддержки работы с графом планирования решения
    • Научный руководитель: Корухова Л.С.
    • Автор: Чипашвили Н.Ш. (Специалист)
  • • 1993 Реализация иерархической структуры фреймов на языке Си++
    • Научный руководитель: Корухова Л.С.
    • Автор: Сычев И.В. (Специалист)
  • • 1993 Построение базы знаний экспертной системы по фармакологии
    • Научный руководитель: Корухова Л.С.
    • Автор: Соломка С.В. (Специалист)
  • • 1993 Инструментальные средства формирования базы знаний в экспертной системе
    • Научный руководитель: Корухова Л.С.
    • Автор: Неледов В.В. (Специалист)
  • • 1992 Поддержка графа построения решения в геометрическом решателе задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Папков В.Е. (Специалист)
  • • 1992 Инструментальные средства формирования базы задачи в геометрическом решателе
    • Научный руководитель: Корухова Л.С.
    • Автор: Благодар М.М. (Специалист)
  • • 1990 Представление знаний в решателе геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Чернецкая И.В. (Специалист)
  • • 1990 Исследование фреймового подхода для представления знаний
    • Научный руководитель: Корухова Л.С.
    • Автор: Чукаловская Е.Б. (Специалист)
  • • 1990 Исследование методов планирования решений сложных задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Юдина И.В. (Специалист)
  • • 1988 Средства графического вывода в системе МЭКС
    • Научный руководитель: Корухова Л.С.
    • Автор: Львова Т.А. (Специалист)
  • • 1988 Разработка и реализация некоторых сервисных функций для системы РАПС
    • Научный руководитель: Корухова Л.С.
    • Автор: Хандарова Н.В. (Специалист)
  • • 1988 Разработка и реализация внешних форм печати документов
    • Научный руководитель: Корухова Л.С.
    • Автор: Володина Л.Н. (Специалист)
  • • 1988 Исследование способов организации словарей
    • Научный руководитель: Корухова Л.С.
    • Автор: Агазарян З.А. (Специалист)
  • • 1987 Разработка элементов модельной информационной системы
    • Научный руководитель: Корухова Л.С.
    • Автор: Керимова Л.Э. (Специалист)
  • • 1987 Разработка и реализация структур для представления знаний на основе Rete-сети
    • Научный руководитель: Корухова Л.С.
    • Автор: Акчурин А.Р. (Специалист)
  • • 1987 Разработка и реализация алгоритмов дедуктивного вывода в системе продукций
    • Научный руководитель: Корухова Л.С.
    • Автор: Нефедов П.В. (Специалист)
  • • 1987 Исследование возможностей моделирования тезауруса средствами процедурно-дедуктивной системы
    • Научный руководитель: Корухова Л.С.
    • Автор: Гаджиев Р.Д. (Специалист)
  • • 1987 Вопросно-ответная система
    • Научный руководитель: Корухова Л.С.
    • Автор: Семеняка С.В. (Специалист)
  • • 1985 Статистический анализ документов информационного фонда
    • Научный руководитель: Корухова Л.С.
    • Автор: Селявина Т.Н. (Специалист)
  • • 1985 Реализация инструментальных средств для работы с фреймами
    • Научный руководитель: Корухова Л.С.
    • Автор: Тюрина М.В. (Специалист)
  • • 1985 Разработка структур для представления знаний в системе автоматической рубрикации
    • Научный руководитель: Корухова Л.С.
    • Автор: Князева И.В. (Специалист)
  • • 1985 Разработка описаний рубрик и правил их определения в системе автоматической рубрикации
    • Научный руководитель: Корухова Л.С.
    • Автор: Красавина О.С. (Специалист)
  • • 1985 Анализ документов в системе автоматической рубрикации
    • Научный руководитель: Корухова Л.С.
    • Автор: Гиря Н.В. (Специалист)
  • • 1984 Расширение процедурно-дедуктивной системы СВЯЗКА, сбор дополнительной информации
    • Научный руководитель: Корухова Л.С.
    • Автор: Токарева Е.В. (Специалист)
  • • 1984 Разработка методов автоматической рубрикации документов в модельной информационно-поисковой системе
    • Научный руководитель: Корухова Л.С.
    • Автор: Длин И.Н. (Специалист)
  • • 1984 Разработка методов автоматической рубрикации в модельной системе
    • Научный руководитель: Корухова Л.С.
    • Автор: Семененок А.С. (Специалист)
  • • 1984 Разработка алгоритма автоматической рубрикации документов и запросов
    • Научный руководитель: Корухова Л.С.
    • Автор: Добрецов Н.А. (Специалист)
  • • 1984 Исследование и разработка эффективных методов организации словарей-тезаурусов
    • Научный руководитель: Корухова Л.С.
    • Автор: Ренард А.Э. (Специалист)
  • • 1983 Разработка структуры представления основных элементов модельной информационной системы
    • Научный руководитель: Корухова Л.С.
    • Автор: Гришина Л.М. (Специалист)
  • • 1983 Разработка словаря-тезауруса модельной информационной системы
    • Научный руководитель: Корухова Л.С.
    • Автор: Лаздинь А.Я. (Специалист)
  • • 1983 Разработка принципов автоматической рубрикации документов в модельной информационной системе
    • Научный руководитель: Корухова Л.С.
    • Автор: Слепенков М.И. (Специалист)
  • • 1983 Исследование способов повышения эффективности процедурно-дедуктивной системы СВЯЗКА
    • Научный руководитель: Корухова Л.С.
    • Автор: Васильев С.Л. (Специалист)
  • • 1982 Разработка экспертов, оценивающих сложность решения геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Наумова И.О. (Специалист)
  • • 1982 Разработка входного языка модельной информационной системы
    • Научный руководитель: Корухова Л.С.
    • Автор: Губин И.М. (Специалист)
  • • 1982 Методы обработки арифметических выражений и упрощающих тождеств в решателе алгебраических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Суходольская Т.Б. (Специалист)
  • • 1981 Разработка экспертов для описания геометрических конфигураций
    • Научный руководитель: Корухова Л.С.
    • Автор: Константинова И.А. (Специалист)
  • • 1981 Разработка системы представления геометрических знаний
    • Научный руководитель: Корухова Л.С.
    • Автор: Поспелов А.Н. (Специалист)
  • • 1981 Разработка программы-анализатора (генератора) геометрических описаний
    • Научный руководитель: Корухова Л.С.
    • Автор: Кожин В.И. (Специалист)
  • • 1981 Разработка и реализация представления понятий стереометрии в системе СВЯЗКА
    • Научный руководитель: Корухова Л.С.
    • Автор: Широков А.Г. (Специалист)
  • • 1980 Разработка и реализация системы представления геометрических хнаний
    • Научный руководитель: Корухова Л.С.
    • Автор: Самохин Ю.Н. (Специалист)
  • • 1979 Реализация оператора запроса и планирующей программы
    • Научный руководитель: Корухова Л.С.
    • Автор: Логинов Е.В. (Специалист)
  • • 1979 Реализация алгоритмов планирования перемещений модельного робота и работы с базой данных
    • Научный руководитель: Корухова Л.С.
    • Автор: Терентьев Ю.А. (Специалист)
  • • 1979 Разработка и реализация некоторых алгоритмов планирования и операторов работы с объектами
    • Научный руководитель: Корухова Л.С.
    • Автор: Болдырев А.С. (Специалист)
  • • 1979 Организация работы с базой данных во время планирования
    • Научный руководитель: Корухова Л.С.
    • Автор: Райков Л.Л. (Специалист)
  • • 1979 Операторы языка СВЯЗКА, связанные с временными характеристиками
    • Научный руководитель: Корухова Л.С.
    • Автор: Богданов Е.Д. (Специалист)
  • • 1979 Операторы работы с объектами языка СВЯЗКА и реализация алгоритмов перемещения предметов модельным роботом
    • Научный руководитель: Корухова Л.С.
    • Автор: Болдырева Е.В. (Специалист)

• Руководство курсовыми работами

  • • 2023 Централизованное управление бинарными артефактами и исходными кодами для задач облачной оркестрации в условиях изоляции от сети Интернет
    • Научный руководитель: Корухова Л.С.
    • Автор: Бирюков Андрей Матвеевич (Магистр)
  • • 2023 Мониторинг системы предоставления виртуальных рабочих столов Fanlight
    • Научный руководитель: Корухова Л.С.
    • Автор: Милиенков Антон Алексеевич (Бакалавр)
  • • 2023 Исследование модели сопровождения и обновлений для распределенных СУБД на примере Greenplum
    • Научный руководитель: Корухова Л.С.
    • Автор: Болотин Константин Павлович (Бакалавр)
  • • 2023 Автоматизированные методы анализа использования терминов в научных текстах
    • Научный руководитель: Корухова Л.С.
    • Автор: Борина Ирина Андреевна (Бакалавр)
  • • 2022 Реализация поддержки развертывания платформы бессерверных вычислений в системе оркестрации Michman
    • Научный руководитель: Корухова Л.С.
    • Автор: Цирунов Леонид Александрович (Бакалавр)
  • • 2022 Проверка корректности текстового слоя документов формата pdf
    • Научный руководитель: Корухова Л.С.
    • Автор: Бухатов Бекзат Болатбекулы (Бакалавр)
  • • 2022 Методы и подходы к тестированию в системах непрерывной интеграции
    • Научный руководитель: Корухова Л.С.
    • Автор: Бабин Ярослав Вячеславович (Бакалавр)
  • • 2022 Методы и подходы к тестированию в системах непрерывной интеграции
    • Научный руководитель: Корухова Л.С.
    • Автор: Бабин Ярослав Вячеславович (Бакалавр)
  • • 2022 Исследование методов представления виртуальной инфраструктуры в графовом виде и разработка сервиса учета взаимосвязей в облачной среде
    • Научный руководитель: Корухова Л.С.
    • Автор: Тулин Дмитрий Ильич (Бакалавр)
  • • 2022 Автоматическое обнаружение аномалий с помощью Prometheus в кластере Openstack
    • Научный руководитель: Корухова Л.С.
    • Автор: Ковтун Данила Петрович (Бакалавр)
  • • 2021 Модель управления жизненным циклом сервисов в облачной среде
    • Научные руководители: Корухова Л.С., Аксенова Е.Л.
    • Автор: Бирюков Андрей Матвеевич (Бакалавр)
  • • 2021 Мешок трюков для классификации намерений цитирования при помощи SciBert
    • Научные руководители: Корухова Л.С., Недумов Я.Р.
    • Автор: Мотриченко Дмитрий Олегович (Бакалавр)
  • • 2021 Автоматизация развертывания Slurm в облачной среде
    • Научные руководители: Корухова Л.С., Аксенова Е.Л.
    • Автор: Озерова Татьяна Александровна (Бакалавр)
  • • 2020 Улучшение нейросетевых алгоритмов генерации комментариев к коммитам
    • Научный руководитель: Корухова Л.С.
    • Автор: Раснюк Александр Геннадьевич (Магистр)
  • • 2020 Сравнение существующих алгоритмов импутации генотипа в целях повышения эффективности последующего применения алгоритма предсказания наследуемых признаков
    • Научный руководитель: Корухова Л.С.
    • Автор: Гугучкин Егор Павлович (Бакалавр)
  • • 2020 Методы атак на системы автоматического поиска людей по фотографии
    • Научный руководитель: Корухова Л.С.
    • Автор: Мамаев Павел Вячеславович (Бакалавр)
  • • 2012 Планирование действий в антогонистической игре
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Елисеев В.Ю. (Специалист)
  • • 2012 Планирование действий в антагонистической игре
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Маврина С.О. (Специалист)
  • • 2009 Разработка модельной интеллектуальной системы с Web-интерфейсом. Рендзю
    • Научные руководители: Корухова Л.С., Малышко В.В.
    • Автор: Савенко О.В. (Специалист)
  • • 1992 Отладчик RETE-сети для решателя геометрических задач
    • Научный руководитель: Корухова Л.С.
    • Автор: Борисов П.А. (Специалист)
  • • 1991 Спецэффекты в языке PostScript
    • Научный руководитель: Корухова Л.С.
    • Автор: Гершун А.М. (Специалист)

• Авторство учебных курсов

  • • 2018 Архитектура ЭВМ и язык ассемблера. Программа ФИИТ
    • Авторы: Кузьменкова Е.А., Корухова Л.С.
  • • 2015 Практикум
    • Автор: Корухова Л.С.
  • • 2011 Практикум по курсу "Архитектура ЭВМ и язык ассемблера"
    • Авторы: Корухова Л.С., Падарян В.А.
  • • 2011 Архитектура ЭВМ и язык ассемблера (семинары)
    • Авторы: Корухова Л.С., Падарян В.А., Кузьменкова Е.А., Соловьев М.А., Иванников В.П.
  • • 2010 Практикум по курсу "Алгоритмы и алгоритмические языки"
    • Автор: Корухова Л.С.
  • • 2010 Практикум на ЭВМ. Программа ФИИТ
    • Автор: Корухова Л.С.
  • • 2010 Практикум на ЭВМ. Программа ФИИТ
    • Автор: Корухова Л.С.
  • • 2010 Алгоритмы и алгоритмические языки (семинары)
    • Авторы: Корухова Л.С., Белеванцев А.А., Кузьменкова Е.А., Соловьев М.А.
  • • 2002 Алгоритмы и алгоритмические языки
    • Автор: Корухова Л.С.
  • • 2001 АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
    • Авторы: Пильщиков В.Н., Корухова Л.С., Соловьев С.Ю., Корухова Ю.С.
  • • 1992 Архитектура ЭВМ и язык Ассемблера
    • Авторы: Корухова Л.С., Шура-Бура М.Р.
  • • 1992 Алгоритмы и алгоритмические языки
    • Авторы: Корухова Л.С., Шура-Бура М.Р.
  • • 1987 Планирование целенаправленной деятельности
    • Авторы: Корухова Л.С., Любимский Э.З.
  • • 1987 Вычислительные машины и прошраммирование (2 семестр)
    • Авторы: Корухова Л.С., Шура-Бура М.Р.
  • • 1987 Вычислительные машины и программирование (3 семестр)
    • Авторы: Корухова Л.С., Шура-Бура М.Р.
  • • 1986 Вычислительные машины и программирование (1 семестр)
    • Авторы: Корухова Л.С., Шура-Бура М.Р.
  • • 1980 Планирование целенаправленной деятельности (спецсеминар для студентов 5 курса)
    • Авторы: Корухова Л.С., Любимский Э.З., Малышко В.В.
  • • 1979 Планирование целенаправленной деятельности (спецсеминар для студентов 4 курса)
    • Авторы: Корухова Л.С., Любимский Э.З., Малышко В.В.
  • • 1978 Системы планирования и языки искусственного интеллекта
    • Автор: Корухова Л.С.
  • • 1978 Планирование целенаправленной деятельности (спецсеминар для студентов 3 курса)
    • Авторы: Корухова Л.С., Любимский Э.З., Малышко В.В.

• Преподавание учебных курсов

  • • с 8 февраля 2018 Архитектура ЭВМ и язык ассемблера. Программа ФИИТ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары, 36 часов
  • • с 5 сентября 2017 'Управление данными и информационные системы для 3 курса"
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 72 часов
  • • с 5 сентября 2017 'Управление данными и информационные системы для 4 курса"
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 72 часов
  • • с 10 сентября 2016 Управление данными и информационные системы для старших курсов
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 72 часов
  • • с 7 февраля 2011 Архитектура ЭВМ и язык ассемблера (семинары)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары, 64 часов
  • • с 7 февраля 2011 Практикум по курсу "Архитектура ЭВМ и язык ассемблера"
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары
  • • с 1 сентября 2010 Практикум по курсу "Алгоритмы и алгоритмические языки"
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары, 64 часов
  • • с 1 сентября 2010 Практикум на ЭВМ. Программа ФИИТ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары, 108 часов
  • • с 1 сентября 2010 Алгоритмы и алгоритмические языки (семинары)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары, 72 часов
  • • с 5 сентября 2001 АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 256 часов
  • • с 3 сентября 1986 Архитектура ЭВМ и язык ассемблера
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 220 часов
  • • с 10 сентября 1980 Планирование целенаправленной деятельности (спецсеминар для студентов 5 курса)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, по выбору (спецкурс), семинары, 128 часов
  • • с 12 сентября 1979 Планирование целенаправленной деятельности (спецсеминар для студентов 4 курса)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, по выбору (спецкурс), семинары, 144 часов
  • • с 20 сентября 1978 Планирование целенаправленной деятельности (спецсеминар для студентов 3 курса)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, по выбору (спецкурс), семинары, 144 часов

---