Герасимова Ольга Александровна, факультет компьютерных наук (Москва)
Номинация «Серебряный птенец»
4-й курс бакалавриата, программа "Прикладная математика и информатика"
Окончив с золотой медалью физико-математический класс лицея г. Озерск (Челябинская область), Ольга Герасимова поступила на образовательную программу «Прикладная математика и информатика». Имея призовые места на олимпиадах по математике «Ломоносов», МГУ им. М.В. Ломоносова, и «Физтех», МФТИ, а также олимпиады по физике «Росатом», МИФИ, Ольга выбирала между механико-математическим факультетом МГУ и СПБГУ, когда услышала об отделении прикладной математики и информатики НИУ ВШЭ. Предлагаемая программа заинтересовала ее сбалансированной моделью обучения математике, информационным технологиям и анализу данных, открытой позиции НИУ ВШЭ и хорошим отзывам студентов программы.
На 2 курсе в рамках курсовой работы она освоила материал спецкурса «Замкнутые классы Булевой логики» механико-математического факультета МГУ. На основании изученного материала Ольга попыталась ответить на вопрос существования конечной полной системы тождеств для некоторых классов проекционной трехзначной логики, проектирующихся в предполные классы Булевой логики. На 3 курсе в рамках выполнения междисциплинарной курсовой работы на английском языке Ольга продолжила изучение темы существования конечных полных систем тождеств, и на основе метода разделения смогла получить результат на замкнутые классы 3-значной проекционнной логики, имеющие своей проекцией класс линейных Булевых функций (Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions). Данный результат был представлен Ольгой на международной конференции 10th Panhelleic Logic Symposium https://samosweb.aegean.gr/pls10/ и опубликован в материалах конференции https://samosweb.aegean.gr/pls10/pls10-proceedings.pdf.
При поддержке организации Association for Symbolic Logic Ольга выиграла грант на поездку на летнюю школу по универсальной логике http://www.uni-log.org/start5s.html и в продолжение представила на международный конгресс 5th World Congress and School on Universal Logic http://www.uni-log.org/start5.html работу Separator Method for Constructing Canonical Types of Formulas по улучшению метода разделения в случае пересекающихся множеств наборов для построения канонических типов формул для замкнутых классов трехзначной логики, которая также была опубликована в сборнике статей международной конференции http://www.uni-log.org/hunilog2015.pdf.
По результатам выступления на конгрессе подготовлена и подана к публикации совместная с научным руководителем статья по трем основным случаям применения метода разделения при построении канонических типов «Constructing Canonical Types Using Separator Method» в специальный выпуск международного индексируемого журнала Logica Universalis.
По словам зам. рук. департамента анализа данных и искусственного интеллекта, Макарова Ильи Андреевича, руководившего данными исследованиями, в процессе научной работы Ольга продемонстрировала не только выдающиеся успехи в освоении материала, желание продолжать исследование данного научного направления, но и способность подготовить и переработать полученные ею результаты для представления их в виде научных статей на английском языке, успешно защитить их в рамках выступления на международной конференции.
Помимо научной деятельности Ольга сдала на отлично курсы по различным аспектам компьютерных наук и наук о данных, такие как «Алгоритмы и структуры данных», «Data Analysis and Data Mining», «Теория баз данных», «Языки разработки программного обеспечения», «Combinatorics, Graphs and Boolean Logic», онлайн-курс НИУ ВШЭ «Теория игр» на платформе http://coursera.org; изучает такие основополагающие практико-ориентированные дисциплины как «Архитектура компьютеров и системное программирование», «Основы машинного обучения», «Введение в предсказательное моделирование» и факультатив «Анализ данных на платформе SAS», читаемый сотрудниками компании.
Ольга работала ассистенткой по курсам «Алгоритмы и структуры данных» и «Теория чисел и ее приложения», участвовала на правах куратора и корректора в организации онлайн-курса «Математика» Интернет-школы Факультета довузовской подготовки НИУ ВШЭ http://cs.hse.ru/ai/news/146105737.html, активно помогала учебному офису с категоризацией архива документов в период летней практики в течение 2 лет, работала волонтером на дне открытых дверей и дне компьютерных наук ФКН.
В настоящее время Ольга пишет дипломную работу по теме: «Ontology Based Data Access with Expressive Ontology Languages», относящейся к современным методам и технологиям семантической паутины (The Semantic Web).
Успехи Ольги Герасимовой представляют органичное сочетание теоретической, прикладной и методической работы на факультете компьютерных наук, а сама студентка заслуживает победы в номинации «Серебряный птенец».
Список научных работ:
Olga Gerasimova, Makarov I. Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions, in: Proceedings of the 10th Panhelleic Logic Symposium. Samos Island: University of Aegean, 2015. Ch. 23. P. 82-86.
Olga Gerasimova, Makarov I. Separator Method for Constructing Canonical Types of Formulas, in: Handbook of the 5th World Congress and School on Universal Logic. Istanbul : University of Istanbul, 2015. P. 372-373.
Makarov, I.,Gerasimova, O. Constructing Canonical Types Using Separator Method, Logica Universalis, Springer: Birkhäuser, 2015. – 6 P. (on review)
