ИСТИНА

Кузьменкова Евгения Анатольевна пользователь

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

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

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

Соавторы: Боресков А.В., Волкова И.А., Дмитриева И.В., Иванова Г.П., Орлик С.И., Падарян В.А., Петренко А.К., Романов Д.С., Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Махнычев В.С., Соловьев М.А.

11 книг, 7 НИР, 5 научных отчётов, 1 награда, 1 членство в программном комитете, 5 учебных курсов

IstinaResearcherID (IRID): 2704813

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

• Книги

  • • 2019 Элементы теории алгоритмов
    • Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Кузьменкова Е.А.
    • место издания Издательский отдел факультета ВМиК МГУ М, 36 с.
  • • 2014 Семинары по курсу "Архитектура ЭВМ и язык ассемблера". Часть 1: учебно-методическое пособие. — М.: Издательский отдел факультета ВМК МГУ имени М.В
    • Кузьменкова Е., Махнычев В.С., Падарян В.
    • место издания Издательский отдел факультета ВМиК МГУ М, ISBN 978-5-89407-529-7, 80 с.
  • • 2014 Семинары по курсу "Архитектура ЭВМ и язык ассемблера". Часть 2. учебно-методическое пособие
    • Кузьменкова Е.А., Падарян В.А., Соловьев М.А.
    • место издания Издательский отдел факультета ВМиК МГУ имени М.В.Ломоносова М, ISBN 978-5-89407-530-3, 100 с.
  • • 2012 Семинары по курсу "Алгоритмы и алгоритмические языки": учебно-методическое пособие для студентов 1 курса
    • Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Кузьменкова Е.А., Махнычев В.С.
    • место издания Изд-во Моск. ун-та М, ISBN 978-5-89407-500-6, 140 с.
  • • 2012 Семинары по курсу "Архитектура ЭВМ и язык ассемблера". Часть 1: учебно-методическое пособие
    • Кузьменкова Е.А., Махнычев В.С., Падарян В.А.
    • место издания М.: Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, ISBN 978-5-89407-499-3, 64 с.
  • • 2008 Практикум по формальной спецификации программ на языке RSL: учебное пособие. М.: Издательский отдел факультета ВМК МГУ им
    • Кузьменкова Е.А., Петренко А.К.
    • место издания Издательский отдел факультета ВМК МГУ им. М.В.Ломоносова, МАКС Пресс Москва, ISBN 978-5-89407-338-5, 88 с.
  • • 2007 Методические материалы для подготовки к государственному экзамену по прикладной математике и информатике (по программе специалистов )
    • Боресков А.В., Волкова И.А., Дмитриева И.В., Иванова Г.П., Кузьменкова Е.А., Романов Д.С., Орлик С.И.
    • место издания Планета Знаний Москва, 295 с.
  • • 2004 Методические материалы для подготовки к государственному экзамену по прикладной математике и информатике (программа специалистов)
    • Боресков А.В., Волкова И.А., Дмитриева И.В., Иванова Г.П., Кузьменкова Е.А., Орлик С.И., Романов Д.С.
    • место издания М.: Издательский отдел факультета ВМиК МГУ, ISBN 5-89407-179-8, 294 с.
  • • 2002 Методические материалы для подготовки к государственному экзамену по прикладной математике и информатике (учебное пособие)
    • Боресков А.В., Волкова И.А., Дмитриева И.В., Иванова Г.П., Кузьменкова Е.А., Орлик С.И., Романов Д.С.
    • место издания М.: МАКС Пресс, 256 с.
  • • 2001 Формальная спецификация программ на языке RSL: конспект лекций
    • Кузьменкова Е.А., Петренко А.К.
    • место издания М.: Издательский отдел факультета ВМиК МГУ Москва, ISBN 5-89407-104-6, 107 с.
  • • 1999 Формальная спецификация программ на языке RSL (методическое пособие по практикуму)
    • Кузьменкова Е.А., Петренко А.К.
    • место издания М.: Издательский отдел факультета ВМиК МГУ Москва, ISBN 5-89407-050-3, 57 с.

• НИРы

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

• Отчеты

  • • 2014 Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
    • Авторы: Корухова Л.С., Кузьменкова Е.А., Корухова Ю.С., Малышко В.В., Корныхин Е.В., Фастовец Н.Н.
    • #14-01-00214 а, 43 с.
  • • 2010 Исследование современных методов анализа и проектирования программного обеспечения
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Чернов А.В., Малышко В.В.
    • #0120.0601687
  • • 2005 Теоретические основы и методы построения систем автоматизации программирования
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Малышко В.В.
    • #01.2.00 107164
  • • 2000 Автоматизация процессов прямой и обратной инженерии на основе использования формальных спецификаций
    • Авторы: Корухова Л.С., Кузьменкова Е.А.
    • #203-5(00)-П
  • • 2000 Развитие теории и методов построения систем автоматизации программирования
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Веденеев Е.П.
    • #01960003309

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

  • • 2016 Премия по Программе развития МГУ
    • Лауреат: Кузьменкова Евгения Анатольевна
    • МГУ им. М.В. Ломоносова, Россия

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

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

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

  • • 2018 Архитектура ЭВМ и язык ассемблера. Программа ФИИТ
    • Авторы: Кузьменкова Е.А., Корухова Л.С.
  • • 2016 Формальные методы разработки программ
    • Авторы: Петренко Александр Константинович, Корныхин Евгений Валерьевич, Буздалов Денис Викторович, Хорошилов Алексей Викторович, Кузьменкова Евгения Анатольевна
  • • 2011 Архитектура ЭВМ и язык ассемблера (семинары)
    • Авторы: Корухова Л.С., Падарян В.А., Кузьменкова Е.А., Соловьев М.А., Иванников В.П.
  • • 2010 Алгоритмы и алгоритмические языки (семинары)
    • Авторы: Корухова Л.С., Белеванцев А.А., Кузьменкова Е.А., Соловьев М.А.
  • • 2008 Формальная спецификация и верификация программ
    • Авторы: Кузьменкова Е.А., Петренко А.К., Хорошилов А.В.