Корухова Юлия Станиславовна

Родилась в г. Солнечногорск, Московской обл.

В 1995 г. окончила с золотой медалью среднюю школу № 18 г. Москвы, в 2000 г. — факультет вычислительной математики и кибернетики МГУ (с отличием) и Французский университетский колледж при МГУ. Обучалась в аспирантуре факультета ВМК (2000–2005).

Кандидат физико-математических наук (2005), тема диссертации «Система автоматического синтеза функциональных программ» (научный руководитель В.Н. Пильщиков).

В Московском университете работает с 2005 г. в должности ассистента кафедры алгоритмических языков факультета ВМК; с 2012 г. в должности доцента кафедры.

Область научных интересов: искусственный интеллект, автоматический синтез программ.

В 2008–2009 гг. стажировалась и работала в качестве преподавателя и исследователя в Уотерфордском технологическом институте (Ирландия).

Читает курсы лекций «Объектно-ориентированное программирование: язык Си++» и «Основы программирования» на отделении бакалавров, спецкурсы «Автоматический синтез программ», «Управление знаниями».

Ведет занятия по практикуму у студентов 2 курса, является одним из руководителей спецсеминара «Искусственный интеллект».

Автор около 10 научных работ, в том числе: Система дедуктивного синтеза программ // Искусственный интеллект, № 2, Донецк, 2002, с. 451–459 (соавт. Пильщиков В.Н.); An approach to automatic deductive synthesis of functional programs // Annals of Mathematics and Artificial Intelligence, v. 50, N. 3–4, Springer Netherlands, 2007, pp. 255–271.