Владимирова Юлия Сергеевна

Родилась в Москве. Окончила среднюю общеобразовательную школу № 584 г. Москвы (1990), факультет вычислительной математики и кибернетики МГУ (1995). Обучалась в аспирантуре факультета ВМК (1995–1998). Кандидат физико-математических наук (2004), тема диссертации: «Компьютеризация булевой алгебры» (научный руководитель Н.П. Брусенцов).

Работает в МГУ с 1998 г. в должности инженера 2-й категории (1998–2005), младшего научного сотрудника (2005–2009), старшего научного сотрудника (с 2009) научно-исследовательской лаборатории ЭВМ факультета ВМК.

Основные научные интересы: исследование методов программной поддержки решения актуальной логико-математической проблемы компьютеризации содержательного рассуждения на примере силлогистики Аристотеля, компьютеризация содержательного рассуждения, недвузначные логики, троичная цифровая техника.

Администратор сайта http://ternarycomp.cs.msu.ru.

Читает полугодовой курс лекций «Введение в троичную информатику» для студентов четвёртого курса ВМК.

Опубликовала 31 научную работу. Основные публикации:

• Отношение следования в универсуме силлогистических суждений // Аристотелева силлогистика в символической логике Льюиса Кэрролла. М: - Фонд «Новое тысячелетие», 2011. С. 9-11. (соавт. Брусенцов Н.П.)
• Конструктная компьютеризация силлогистики // Математические методы распознавания образов: 13-я Всероссийская конференция — М., МАКС Пресс, 2007, С. 10–13;
• Компьютеры и обучение // Мир ПК, 2005, 3, CD, дополнительные материалы; Вестник Моск. ун-та, сер. Педагогическое образование. 2005, № 1, С. 103–105. (соавт. Брусенцов Н.П., Рамиль Альварес Х.);
• Компьютеризация булевой алгебры // Докл. РАН, 2004, Т. 395, № 2, С. 7–10. (соавт. Брусенцов Н.П.);
• Конструктная реализация булевой алгебры // В кн.: Интегрированная система обучения, конструирования программ и разработки дидактических материалов (учебно-методическое пособие под ред. Н.П. Брусенцова) — М., МГУ, 1996, c. 44–69;