Вы здесь
Владимирова Юлия Сергеевна
Cтарший научный сотрудник НИЛ ЭВМ
Родилась в Москве.
Окончила среднюю общеобразовательную школу № 584 г. Москвы (1990), факультет вычислительной математики и кибернетики МГУ (1995). Обучалась в аспирантуре факультета ВМК (1995–1998). Кандидат физико-математических наук (2004), тема диссертации: «Компьютеризация булевой алгебры» (научный руководитель Н.П. Брусенцов).
Работает в МГУ с 1998 г. в должности инженера 2-й категории (1998–2005), младшего научного сотрудника (2005–2009), старшего научного сотрудника (с 2009) научно-исследовательской лаборатории ЭВМ факультета ВМК.
Основные научные интересы: компьютеризация содержательного рассуждения, недвузначные логики, троичная цифровая техника. Основные научные результаты относятся к созданию компьютерной системы манипулирования булевыми выражениями и программной реализации силлогистики.
Опубликовала более 20 научных работ. Основные публикации: Конструктная реализация булевой алгебры // В кн.: Интегрированная система обучения, конструирования программ и разработки дидактических материалов (учебно-методическое пособие под ред. Н.П. Брусенцова) — М., МГУ, 1996, c. 44–69; Решение булевых уравнений // Методы математического моделирования — М., Диалог-МГУ, 1998, c. 59–68 (соавт. Брусенцов Н.П.); Компьютеризация булевой алгебры // Докл. РАН, 2004, т. 395, № 2, с. 7–10 (соавт. Брусенцов Н.П.); Компьютеры и обучение // Мир ПК, 2005, 3, CD, дополнительные материалы; Вестник Моск. ун-та, сер. Педагогическое образование. 2005, № 1, с. 103–105 (соавт. Брусенцов Н.П., Рамиль Альварес Х.); Конструктная компьютеризация силлогистики // Математические методы распознавания образов: 13-я Всероссийская конференция — М., МАКС Пресс, 2007, с. 10–13.