ИСТИНА

Корухова Юлия Станиславовна пользователь ответственный

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

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

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

Соавторы: Мытрова М.В., Фастовец Н.Н., Курышев С.С., Пильщиков В.Н., Борисенкова А.С., Захаров В.А., Пташник Д.И., Суранович Д.И., Толыбаева А.

24 статьи, 3 книги, 25 докладов на конференциях, 5 тезисов докладов, 9 НИР, 8 научных отчётов, 1 награда, 4 стажировки, 1 членство в редколлегии сборника, 2 членства в программных комитетах, 1 диссертация, 26 дипломных работ, 38 курсовых работ, 17 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 6, Scopus: 9

IstinaResearcherID (IRID): 1417029

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

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

  • • 2018 Поиск нот в электронных библиотеках по фрагменту мелодии
    • Корухова Ю.С., Мытрова М.В.
    • в журнале Биомашсистемы, том 2, № 3, с. 100-108
  • • 2013 Информационный поиск для нотных записей музыкальных произведений
    • Корухова Ю.С., Мытрова М.В.
    • в журнале Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва), № 48, с. 1-16
  • • 2013 Организация поиска нотных записей
    • Корухова Ю.С., Мытрова М.В.
    • в журнале Открытые системы, № 7, с. 57-58
  • 
    • 2007 An approach to automatic deductive synthesis of functional programs
    • Korukhova Yulia
    • в журнале Annals of Mathematics and Artificial Intelligence, издательство Springer Verlag (Germany), том 50, № 3-4, с. 255-271 DOI
  • 
    • 2006 Automatic Deductive Synthesis of Lisp Programs in the System ALISA
    • Korukhova Yulia
    • в журнале Lecture Notes in Artificial Intelligence, том 4160, с. 242-252
  • • 2002 Система дедуктивного синтеза программ
    • Корухова Ю.С., Пильщиков В.Н.
    • в журнале Искусственный интеллект (Донецк), № 2, с. 451-459

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

  • • 2020 An approach to sheet music information retrieval
    • Korukhova Yulia, Tolybayeva Aiken
    • в сборнике Открытые семантические технологии проектирования интеллектуальных систем, серия МАТЕРИАЛЫ МЕЖДУНАРОДНОЙ НАУЧНО-ТЕХНИЧЕСКОЙ КОНФЕРЕНЦИИ OSTIS, место издания УО «Белорусский государственный университет информатики и радиоэлектроники» Минск, БГУИР Минск, том 4, с. 341-344
  • • 2018 Система автоматизированного выявления ошибок водителя в автогонках
    • Суранович Д.И., Корухова Ю.С.
    • в сборнике Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск), место издания ИПМ им. М.В.Келдыша Москва, с. 454-458 DOI
  • 
    • 2017 Training Agents with Neural Networks in Systems with Imperfect Information
    • Yulia Korukhova, Sergey Kuryshev
    • в сборнике Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017), место издания SCITEPRESS – Science and Technology Publications, Lda Portigal, том 1, с. 296-301 DOI
  • • 2015 Об одном подходе к определению авторства музыкальных прооизведений
    • Борисенкова А.С., Корухова Ю.С.
    • в сборнике Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск), место издания ИПМ им. М.В.Келдыша М, с. 34-41
  • • 2012 Об одном подходе к решению задачи поиска нот музыкальных произведений
    • Корухова Юлия Станиславовна, Мытрова Марина Вячеславовна
    • в сборнике Сборник статей молодых ученых факультета ВМК МГУ, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 9, с. 68-85
  • • 2011 Автоматический синтез программ с использованием онтологии прецедентов
    • Корухова Ю.С., Фастовец Николай Николаевич
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 12, с. 203-215
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич, Мальковский Михаил Георгиевич
  • • 2010 A Case-Based Reasoning Approach to Program Synthesis
    • Korukhova Yulia, Fastovets Nikolay
    • в сборнике Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD), место издания SciTePress Portugal
  • • 2010 Automated Program Construction Based on Previous Experience
    • Korukhova Yulia, Fastovets Nikolay
    • в сборнике Proceedings of the 15th UK CBR Workshop, место издания CMS Press Greenwich, с. 35-44
  • • 2010 Using Parallel Computations in Deductive Synthesis of Functional Programs
    • Korukhova Yulia, Fastovets Nikolay
    • в сборнике Scientific Computing: Proceedings of the International Eugene Lawler PhD School, место издания Waterford Institute of Technology Ireland, с. 67-72
  • • 2010 Автоматический синтез программ
    • Корухова Ю.С.
    • в сборнике Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н, место издания МАКС Пресс Москва МГУ, с. 185-187
  • • 2010 Управление знаниями
    • Корухова Ю.С.
    • в сборнике Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н, место издания МАКС Пресс Москва МГУ, с. 187-188
  • • 2010 Языки описания схем. Проблемы верификации
    • Корухова Ю.С., Захаров В.А.
    • в сборнике Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н, место издания МАКС Пресс Москва МГУ, с. 188-190
  • • 2009 Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course
    • Korukhova Yulia
    • в сборнике Proceedings of the 5th UK Workshop on AI in Education, место издания Cambridge, с. 1-6
  • • 2007 Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning
    • Korukhova Yulia
    • в сборнике Proceedings of the 3rd UK Workshop on AI in Education, место издания Cambridge, с. 17-21
  • • 2005 An Approach to Automation of Program Synthesis in the Deductive Tableau
    • Korukhova Yulia
    • в сборнике Proceedings of the 10th ESSLLI Student Session (Heriot-Watt University, Edinburgh), с. 122-133
  • • 2005 Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau
    • Korukhova Yulia
    • в сборнике ICCL Workshop on Logic-Based Knowledge Representation, место издания TU Dresden, с. 1-5
  • • 2005 Дедуктивный синтез программ с использованием волновых правил
    • Корухова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел ВМК МГУ М, том 6, с. 6-16
  • • 2004 Planning Proof in the Deductive Tableau Using Rippling
    • Korukhova Yulia
    • в сборнике Proceedings of the 5th International Conference on Recent Advances in Soft Computing (RASC2004), издательство Nottingham Trent University (United Kingdom), с. 384-390

• Книги

  • • 2020 Сборник задач и упражнений по языку С++
    • Корухова Ю.С.
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс Москва, ISBN 978-5-317-06372-6, 24 с.
  • • 2012 Управление знаниями
    • Корухова Ю.С.
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, ISBN 978-5-89407-485-6, 978-5-317-04157-1, 48 с.
  • • 2009 Сборник задач и упражнений по языку С++
    • Корухова Юлия Станиславовна
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс Москва, ISBN 978-5-89407-387-3, 978-5-317-03053-7, 24 с.

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

  • • 2020 Об одном подходе к музыкальному информационному поиску нотных записей (Устный)
    • Авторы: Корухова Юлия Станиславовна, Толыбаева Айкен
    • X Международная научно-техническая конференция "Открытые семантические технологии проектирования интеллектуальных систем (OSTIS-2020)", Минск, Беларусь, 19-22 февраля 2020
  • • 2019 Information retrieval for music and mathematics (Устный)
    • Автор: KORUKHOVA Yulia
    • International Russian-French workshop "Actual problems of artificial intelligence", МГУ, факультет ВМК, а. 526а, Россия, 18 ноября 2019
  • • 2018 Система автоматизированного выявления ошибок водителя в автогонках (Устный)
    • Авторы: Корухова Ю.С., Суранович Д.И.
    • Научный сервис в сети Интернет – 2018, Новороссийск, Россия, 18-21 сентября 2018
  • • 2017 Training Agents with Neural Networks in Systems with Imperfect Information (Устный)
    • Авторы: Yulia Korukhova, Sergey Kuryshev
    • ICAART 2017 - 9th International conference on Agents and Artificial Intelligence, Porto, Португалия, 24-26 февраля 2017
  • • 2015 Об одном подходе к определению авторства музыкальных произведений (Устный)
    • Авторы: Корухова Ю.С., Борисенкова Анна Сергеевна
    • Научный сервис в сети Интернет 2015, г.Новороссийск, Россия, 21-26 сентября 2015
  • • 2015 Recent Applications of Automated Reasoning in Computer Science (Устный)
    • Автор: Корухова Ю.С.
    • Second CMC MSU − GSIS Tohoku Joint IT Workshop, МГУ имени М.В. Ломоносова, Россия, 7 сентября 2015
  • • 2014 Использование шрифтов для отображения нот (Устный)
    • Авторы: Мытрова М.В., Корухова Ю.С.
    • Вторая международная научно-творческая конференция «Музыка–Математика–Естествознание», Московская государственная консерватория имени П.И.Чайковского, Россия, 7-9 апреля 2014
  • • 2013 Поиск нот в электронных библиотеках по фрагменту мелодии (Устный)
    • Авторы: Корухова Ю.С., Мытрова М.В.
    • Первая международная научно-творческая конференция «Музыка–Математика–Естествознание», Московская государственная консерватория им. П.И.Чайковского, Россия, 8-9 апреля 2013
  • • 2012 Music Theory Ontology (Стендовый)
    • Авторы: Tabolin A., Корухова Ю.С., Мытрова М.В.
    • Reasoning Web 2012 Poster Session, Vienna University of Technology, Австрия, 10-12 сентября 2012
  • • 2012 Information Retrieval Based On Automated Reasoning Methods (Стендовый)
    • Авторы: Корухова Ю.С., Мытрова М.В.
    • 6th RuSSIR Young Scientists Conference, Ярославский Государственный Университет им. П.Г. Демидова, Россия, 6-10 августа 2012
  • • 2012 Об одном подходе к автоматическому синтезу программ на основе прецедентов (Устный)
    • Авторы: Корухова Ю.С., Фастовец Н.Н.
    • Ломоносовские чтения - 2012. Секция вычислительной математики и кибернетики, МГУ имени М.В. Ломоносова, ВМК, Россия, 16-28 апреля 2012
  • • 2011 Методы автоматизированного построения программ (Устный)
    • Автор: Корухова Ю.С.
    • XVIII Международная конференция "Математика. Компьютер. Образование", Пущино, Россия, 24-29 января 2011
  • • 2010 A Case-Based Reasoning Approach to Program Synthesis (Устный)
    • Авторы: Фастовец Н.Н., Корухова Ю.С.
    • International Conference on Knowledge Engineering and Ontology Development (KEOD - 2010), Valencia, Spain, Испания, 2010
  • • 2010 Automated Program Construction Based on Previous Experience (Устный)
    • Авторы: Фастовец Н.Н., Корухова Ю.С.
    • 15th UK Case-Based Reasoning Workshop, Cambridge, 2010
  • • 2009 Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course (Устный)
    • Автор: Корухова Ю.С.
    • 5th UK Workshop on AI in Education, Peterhouse College, Cambridge, UK, 2009
  • • 2008 An approach to automation of functional program synthesis (Устный)
    • Автор: Корухова Ю.С.
    • Computational Logic Seminars in St Andrews, St Andrews University, UK, 2008
  • • 2007 Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning (Устный)
    • Автор: Корухова Ю.С.
    • 3rd UK Workshop on AI in Education, Peterhouse college, Cambridge, UK, 2007
  • • 2006 Automatic Deductive Synthesis of Lisp Programs in the System ALISA (Устный)
    • Автор: Корухова Ю.С.
    • 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, UK, 2006
  • • 2006 Automatic Deductive Synthesis of Lisp Programs in the System ALISA (Устный)
    • Автор: Корухова Ю.С.
    • CISA Seminar, The University of Edinburgh, UK, 2006
  • • 2005 An Approach to Automation of Program Synthesis in the Deductive Tableau (Устный)
    • Автор: Корухова Ю.С.
    • 10th ESSLLI Student Session , Heriot-Watt University, Edinburgh, UK, 2005
  • • 2005 Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau (Устный)
    • Автор: Корухова Ю.С.
    • ICCL Workshop on Logic-Based Knowledge Representation, TU Dresden, Germany, Германия, 2005
  • • 2005 Об одном подходе к автоматизации синтеза функциональных программ (Устный)
    • Авторы: Корухова Ю.С., Пильщиков В.Н.
    • Ломоносовские чтения - 2005, М., МГУ имени М.В.Ломоносова., 2005
  • • 2005 Применение волновых правил для автоматического синтеза функциональных программ (Устный)
    • Автор: Корухова Ю.С.
    • «Тихоновские чтения», факультет ВМК МГУ, 2005
  • • 2004 Planning Proof in the Deductive Tableau Using Rippling (Устный)
    • Автор: Корухова Ю.С.
    • Recent Advances in Soft Computing (RASC 2004), Nottingham Trent University, UK, 2004
  • • 2002 Система дедуктивного синтеза программ (Устный)
    • Авторы: Пильщиков В.Н., Корухова Ю.С.
    • Интеллектуализация обработки информации. Международная научная конференция ИОИ'2002., Украина, АРК, г. Алушта, Украина, 2002

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

  • • 2020 Об одном подходе к генерации аккомпанемента музыкальных произведений на основе машинного обучения
    • Корухова Ю.С., Пташник Данила Игоревич
    • в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 87-88
  • • 2017 Training Agents with Neural Networks in Systems with Imperfect Information (abstract)
    • Yulia Korukhova, Sergey Kuryshev
    • в сборнике ICAART 2017 Final Program and Book of Abstracts, место издания SCITEPRESS - Science and Technology Publications, Lda Portugal, тезисы, с. 49-49
  • • 2011 Approaches to Automated Program Synthesis
    • Korukhova Y.S.
    • в сборнике МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ: Сборник научных тезисов, выпуск 18, Пущино, 24-29 января 2011 г, место издания Межрегиональная общественная организация "Женщины в Науке и Образовании" Пущино, том 18, тезисы, с. 186-186
  • • 2011 Методы автоматизированного построения программ
    • Корухова Ю.С.
    • в сборнике МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ: Сборник научных тезисов, выпуск 18, Пущино, 24-29 января 2011 г, место издания Межрегиональная общественная организация "Женщины в Науке и Образовании" Пущино, том 18, тезисы, с. 205-205
  • • 2002 Система дедуктивного синтеза программ
    • Корухова Ю.С., Пильщиков В.Н.
    • в сборнике Интеллектуализация обработки информации ИОИ'2002. Тезисы докладов, место издания Симферополь, тезисы, с. 124-125

• НИРы

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

• Отчеты

  • • 2020 Математическое и программное обеспечение перспективных систем обработки символьной информации
    • Авторы: Мальковский М.Г., Корухова Ю.С.
    • #5, 21 с.
  • • 2019 Математическое и программное обеспечение перспективных систем обработки символьной информации
    • Авторы: Мальковский М.Г., Корухова Ю.С.
    • #4, 21 с.
  • • 2016 Информационный поиск для специализированных предметных областей. Итоговый отчет. Этап 3
    • Автор: Корухова Ю.С.
    • #14-01-00679 А
  • • 2015 Информационный поиск для специализированных предметных областей. Промежуточный отчет. Этап 2.
    • Автор: Корухова Ю.С.
    • #14-01-00679 А
  • • 2014 Информационный поиск для специализированных предметных областей. Промежуточный отчет. Этап 1.
    • Автор: Корухова Ю.С.
    • #14-01-00679 А, 29 с.
  • • 2014 Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
    • Авторы: Корухова Л.С., Кузьменкова Е.А., Корухова Ю.С., Малышко В.В., Корныхин Е.В., Фастовец Н.Н.
    • #14-01-00214 а, 43 с.
  • • 2013 Методы поиска информации в структурированных файлах специального вида. Итоговый отчет по проекту
    • Автор: Корухова Ю.С.
    • #12-01-31109 мол_а, 27 с.
  • • 2012 Методы поиска информации в структурированных файлах специального вида. Промежуточный отчет по проекту (этап 1)
    • Автор: Корухова Ю.С.
    • #12-01-31109 мол_а, 10 с.

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

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

• Стажировки в организациях

  • • 9 января 2019 - 12 января 2019 Instituto Superior Técnico (IST/UL), University of Lisbon, Португалия
  • • 22 марта 2017 - 24 мая 2017 Факультет педагогического образования, Россия
  • • 21 сентября 2016 - 16 декабря 2016 Факультет педагогического образования, Россия
  • • 2 января 2009 - 2 мая 2009 Waterford Institute of Technology (WIT), Ирландия

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

  • • 2018 ПРОГРАММНЫЕ СИСТЕМЫ И ИНСТРУМЕНТЫ Тематический сборник
    • члены редколлегии: Смелянский Р.Л., Волканов Д.Ю., Корухова Ю.С., Глонина А.Б., Степанов Е.П., Большакова Е.И., Балашов В.В., Петров И.С., Костенко В.А.
    • том 18
    • издательство ООО "МАКС Пресс" (Москва)

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

  • • 2013 Ломоносов (секция ВМК)
    • Член программного комитета
    • факультет ВМК МГУ имени М.В. Ломоносова
  • • 2012 Ломоносов (секция ВМК)
    • Член программного комитета
    • факультет ВМК МГУ

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

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

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

  • • 2020 Система построения нотных переложений с использованием онтологий
    • Научный руководитель: Корухова Ю.С.
    • Автор: Доброва Анастасия Борисовна (Бакалавр)
  • • 2020 Методы и программные инструменты поиска нотных записей в цифровых библиотеках
    • Научный руководитель: Корухова Ю.С.
    • Автор: Толыбаева А., (Магистр)
  • • 2020 Методы и программные инструменты генерации аккомпанемента к музыке
    • Научный руководитель: Корухова Ю.С.
    • Автор: Пташник Данила Игоревич (Бакалавр)
  • • 2020 Дедуктивная верификация программ на языке Python
    • Научный руководитель: Корухова Ю.С.
    • Автор: Бикбулатов Т.Р., (Магистр)
  • • 2020 Автоматическое доказательство теорем логики предикатов первого порядка
    • Научный руководитель: Корухова Ю.С.
    • Автор: Орлов Сергей Александрович (Магистр)
  • • 2019 Программные инструменты создания экспертных систем для анализа автогонок
    • Научный руководитель: Корухова Ю.С.
    • Автор: Суранович Д.И., (Магистр)
  • • 2019 Программные инструменты для автоматизированного выявления уязвимостей веб-страниц
    • Научный руководитель: Корухова Ю.С.
    • Автор: Кемпирова Н.А. (Бакалавр)
  • • 2018 Программные инструменты составления рекомендаций туристических маршрутов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Баев Тимур Рустемович (Бакалавр)
  • • 2018 Инструментальные средства составления рекомендаций с использованием машинного обучения
    • Научный руководитель: Корухова Ю.С.
    • Автор: Езерский Артем Викторович (Бакалавр)
  • • 2018 Инструментальные средства математического поиска
    • Научный руководитель: Корухова Ю.С.
    • Автор: Синюков Александр Сергеевич (Бакалавр)
  • • 2018 Инструментальные средства классификации музыкальных произведений
    • Научный руководитель: Корухова Ю.С.
    • Автор: Бикбулатов Тимур Русланович (Бакалавр)
  • • 2017 Система автоматического составления рекомендаций бизнес-клиентов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Сулаев А.С. (Бакалавр)
  • • 2017 Инструментальные средства создания навигационной системы
    • Научный руководитель: Корухова Ю.С.
    • Автор: Терешина М.С. (Бакалавр)
  • • 2017 Инструментальные средства автоматического доказательства теорем
    • Научный руководитель: Корухова Ю.С.
    • Автор: Орлов С.А. (Бакалавр)
  • • 2016 Инструментальные средства создания электронной математической библиотеки с возможностью поиска по формулам
    • Научный руководитель: Корухова Ю.С.
    • Автор: Широкий Р.В., (Магистр)
  • • 2015 Разработка системы анализа взаимодействия сотрудников предприятия
    • Научный руководитель: Корухова Ю.С.
    • Автор: Суворов Кирилл Александрович (Специалист)
  • • 2015 Разработка рекомендательной системы на основе интеллектуального анализа данных
    • Научный руководитель: Корухова Ю.С.
    • Автор: Смирнов Михаил Александрович (Специалист)
  • • 2015 Инструментальные средства автоматического анализа нотных записей музыкальных произведений
    • Научный руководитель: Корухова Ю.С.
    • Автор: Борисенкова Анна Сергеевна (Специалист)
  • • 2014 Система поиска научных текстов по формулам
    • Научный руководитель: Корухова Ю.С.
    • Автор: Широкий Роман Владимирович (Бакалавр)
  • • 2014 Разработка музыкальной рекомендательной системы
    • Научный руководитель: Корухова Ю.С.
    • Автор: Курышев С.С. (Специалист)
  • • 2014 Методы индексирования нотных записей для поиска
    • Научный руководитель: Корухова Ю.С.
    • Автор: Таболин А.В. (Специалист)
  • • 2012 Разработка системы поиска нот с использованием закономерностей построения музыкальных произведений
    • Научный руководитель: Корухова Ю.С.
    • Автор: Родионов Алексей Вадимович (Специалист)
  • • 2012 Информационный поиск на основе методов автоматических расуждений
    • Научный руководитель: Корухова Ю.С.
    • Автор: Мытрова Марина Вячеславовна (Специалист)
  • • 2012 Верификация функциональных программ
    • Научные руководители: Корухова Ю.С., Пильщиков В.Н.
    • Автор: Капитанова Валентина Игоревна (Специалист)
  • • 2011 Разработка системы автоматического синтеза программ на основе онтологии прецедентов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Фастовец Н.Н., (Магистр)
  • • 2009 Использование параллельных вычислений в синтезе функциональных программ
    • Научный руководитель: Корухова Ю.С.
    • Автор: Фастовец Н.Н., (Бакалавр)

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

  • • 2020 Поиск документов по математическим формулам
    • Научный руководитель: Корухова Ю.С.
    • Автор: Пономаренко В.С. (Бакалавр)
  • • 2020 Алгоритмы поиска маршрутов и их реализация в мобильных приложениях
    • Научный руководитель: Корухова Ю.С.
    • Автор: Рязанова Е.Б. (Бакалавр)
  • • 2019 Применение нейронных сетей для обработки нот музыкальных произведений
    • Научный руководитель: Корухова Ю.С.
    • Автор: Пташник Д.И. (Бакалавр)
  • • 2019 Методы и инструменты создания музыкальных онтологий
    • Научный руководитель: Корухова Ю.С.
    • Автор: Доброва А.Б. (Бакалавр)
  • • 2019 Комбинирование стратегий метода резолюций в автоматическом доказательстве теорем
    • Научный руководитель: Корухова Ю.С.
    • Автор: Орлов С.А. (Магистр)
  • • 2019 Инструментальные средства работы с цифровыми музыкальными библиотеками
    • Научный руководитель: Корухова Ю.С.
    • Автор: Толыбаева А., (Магистр)
  • • 2019 Дедуктивная верификация программ
    • Научный руководитель: Корухова Ю.С.
    • Автор: Бикбулатов Т.Р., (Магистр)
  • • 2018 Разработка базы знаний экспертной системы
    • Научный руководитель: Корухова Ю.С.
    • Автор: Суранович Дмитрий Игоревич (Магистр)
  • • 2018 Разработка базы знаний для экспертной системы в области информационной безопасности
    • Научный руководитель: Корухова Ю.С.
    • Автор: Кемпирова Наргиз Амановна (Бакалавр)
  • • 2017 Методы построения маршрутов в графах с использованием прецедентов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Баев Т. (Бакалавр)
  • • 2017 Методы информационного поиска по математическим формулам
    • Научный руководитель: Корухова Ю.С.
    • Автор: Синюков А.С. (Бакалавр)
  • • 2017 Инструментальные средства создания библиотеки прецедентов для системы поиска маршрутов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Езерский А. (Бакалавр)
  • • 2017 Алгоритмы построения карт с использованием мобильных роботов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Попов В.В. (Магистр)
  • • 2017 Автоматическая классификация музыкальных произведений по заданным признакам
    • Научный руководитель: Корухова Ю.С.
    • Автор: Бикбулатов Т.Р. (Бакалавр)
  • • 2016 Стратегии применения правил при построении доказательств методом резолюции
    • Научный руководитель: Корухова Ю.С.
    • Автор: Орлов С.А. (Бакалавр)
  • • 2016 Инструментальные средства поддержки работы с нотными записями музыкальных произведений на мобильных устройствах
    • Научный руководитель: Корухова Ю.С.
    • Автор: Сулаев А.С. (Бакалавр)
  • • 2016 Автоматическая генерация нормальных форм выражений
    • Научный руководитель: Корухова Ю.С.
    • Автор: Терешина М.С. (Бакалавр)
  • • 2015 Система сопровождения процесса публикации препринтов
    • Научный руководитель: Корухова Ю.С.
    • Автор: Широкий Р.В., (Магистр)
  • • 2015 Автоматическое доказательство логических теорем
    • Научный руководитель: Корухова Ю.С.
    • Автор: Пугач И.А. (Специалист)
  • • 2014 Система выделения факторов оценки презентаций
    • Научный руководитель: Корухова Ю.С.
    • Автор: Суворов К.А. (Специалист)
  • • 2014 Разработка системы сбора статистической информации в высоконагруженной сети
    • Научный руководитель: Корухова Ю.С.
    • Автор: Смирнов М.А. (Специалист)
  • • 2014 Идентификация композитора по распределению частот символов в нотной записи музыкального произведения
    • Научный руководитель: Корухова Ю.С.
    • Автор: Борисенкова А.С., (Специалист)
  • • 2013 Система распределения нотных партий для мобильных устройств
    • Научный руководитель: Корухова Ю.С.
    • Автор: Суворов К.А. (Специалист)
  • • 2013 Разработка клиент-серверного приложения для работы с мобильными устройствами
    • Научный руководитель: Корухова Ю.С.
    • Автор: Смирнов М.А. (Специалист)
  • • 2013 Поиск созвучной музыки в нотном представлении
    • Научный руководитель: Корухова Ю.С.
    • Автор: Таболин А.В., (Специалист)
  • • 2013 Методы поиска информации в структурированных файлах специального вида
    • Научный руководитель: Корухова Ю.С.
    • Автор: Широкий Р.В., (Бакалавр)
  • • 2013 Исследование методов автоматического построения рекомендаций
    • Научный руководитель: Корухова Ю.С.
    • Автор: Курышев С.С., (Специалист)
  • • 2013 Выделение мелодии из нотной записи музыкального произведения
    • Научный руководитель: Корухова Ю.С.
    • Автор: Борисенкова А.С., (Специалист)
  • • 2012 Разработка игровой программы
    • Научный руководитель: Корухова Ю.С.
    • Автор: Бицоев В.И. (Специалист)
  • • 2012 Разработка игровой программы
    • Научный руководитель: Корухова Ю.С.
    • Автор: Курышев С.С., (Специалист)
  • • 2012 Анализ подходов к инженерии знаний специального вида
    • Научный руководитель: Корухова Ю.С.
    • Автор: Таболин А.В., (Специалист)
  • • 2012 Автоматический анализ программ на языке Пролог
    • Научный руководитель: Корухова Ю.С.
    • Автор: Попеско У.В., (Специалист)
  • • 2011 Поиск информации в структурированных файлах
    • Научный руководитель: Корухова Ю.С.
    • Автор: Мытрова М.В., (Специалист)
  • • 2011 Исследование формальных методов доказательства свойств программ
    • Научный руководитель: Корухова Ю.С.
    • Автор: Попеско У.В., (Специалист)
  • • 2011 Исследование методов поиска данных для файлов специального XML формата
    • Научный руководитель: Корухова Ю.С.
    • Автор: Родионов А.В. (Специалист)
  • • 2010 Разработка игровой программы
    • Научный руководитель: Корухова Ю.С.
    • Автор: Мытрова М.В., (Специалист)
  • • 2010 Использование онтологий в автоматическом синтезе программ
    • Научный руководитель: Корухова Ю.С.
    • Автор: Фастовец Н.Н., (Магистр)
  • • 2008 Дедуктивный синтез программ, содержащих вспомогательные функции
    • Научный руководитель: Корухова Ю.С.
    • Автор: Фастовец Н.Н., (Бакалавр)

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

  • • 2016 Практикум на ЭВМ (в поддержку курса "Архитектура ЭВМ и язык ассемблера")
    • Авторы: Столяров А.В., Корухова Ю.С.
  • • 2016 Практикум на ЭВМ (в поддержку курса "Алгоритмы и алгоритмические языки")
    • Автор: Корухова Ю.С.
  • • 2016 Алгоритмы и алгоритмические языки -2 семеcтр (для филиала МГУ в Ереване)
    • Автор: Корухова Ю.С.
  • • 2015 Основы информатики (Ереванский филиал)
    • Автор: Корухова Ю.С.
  • • 2010 Языки описания схем. Проблемы верификации
    • Авторы: Корухова Ю.С., Захаров В.А.
  • • 2009 Управление знаниями
    • Автор: Корухова Ю.С.
  • • 2008 Автоматический синтез программ
    • Автор: Корухова Ю.С.
  • • 2007 Основы программирования (семинары)
    • Автор: Корухова Ю.С.
  • • 2007 Основы программирования
    • Автор: Корухова Ю.С.
  • • 2006 Обьектно-ориентированное программирование: язык С++
    • Автор: Корухова Ю.С.
  • • 2001 АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
    • Авторы: Пильщиков В.Н., Корухова Л.С., Соловьев С.Ю., Корухова Ю.С.
  • • 1990 Искусственный интеллект
    • Авторы: Пильщиков В.Н., Большакова Е.И., Корухова Ю.С., Баева Н.В., Лукашевич Н.В., Бордаченкова Е.А., Ефремова Н.Э., Груздева Н.В.

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

  • • с 1 сентября 2019 Методы построения программных систем (спец.семинар для баклавров ПМ ф-та ВМК 3 курс)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, базовой части, семинары, 68 часов
  • • с 1 сентября 2019 Методы построения программных систем (спец.семинар для баклавров ПМ ф-та ВМК 4 курс)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, базовой части, семинары, 54 часов
  • • с 1 сентября 2019 Прикладные интернет-технологии спец.семинар для магистров 2-годичного образования (2 курс)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, базовой части, семинары, 54 часов
  • • с 1 сентября 2019 Спецсеминар "Интеллектуальные системы" для магистратуры - раздел "Методы построения программных систем" (2 курс)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, базовой части, семинары, 54 часов
  • • 12 октября 2015 - 24 ноября 2017 Основы информатики (Ереванский филиал)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • в Филиал МГУ в г. Ереван (государственная организация, университет, Армения)
    • обязательная, базовой части, лекции, 58 часов
  • • с 1 сентября 2012 АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, лекции, 54 часов
  • • 29 октября 2010 - 13 ноября 2010 Операционные системы
    • МГУ имени М.В. Ломоносова, Казахстанский филиал МГУ (г. Нур-Султан)
    • обязательная, базовой части, лекции, 54 часов
  • • 8 февраля 2010 - 31 мая 2010 Языки описания схем. Проблемы верификации
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, по выбору (спецкурс), лекции, 16 часов
  • • 1 сентября 2009 - 31 декабря 2011 Управление знаниями
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 11 февраля 2008 - 31 мая 2008 Автоматический синтез программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • с 8 февраля 2007 Основы программирования
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, лекции, 32 часов
  • • с 8 февраля 2007 Основы программирования (семинары)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2006 - 31 декабря 2011 Обьектно-ориентированное программирование: язык С++
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 марта 2006 - 1 сентября 2019 Искусственный интеллект
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, вариативной части, семинары, 68 часов