Главная страница « Преподаватели и сотрудники «

Соловьев Михаил Александрович

Дата рождения: 11.9.1986
Место рождения: г. Пермь
Старший преподаватель кафедры.
E-mail:   

Новости
Информация
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Окончил физико-математическую школу № 146 г. Перми в 2003 г., факультет ВМК МГУ — в 2008 г., аспирантуру факультета ВМК МГУ — в 2011 г. В 2013 г. защитил кандидатскую диссертацию по теме «Восстановление алгоритма по набору бинарных трасс», научный руководитель доктор физико-математических наук, доцент А. И. Аветисян.

С 2007 г. М. А. Соловьев работает в Институте системного программирования РАН, с 2011 года — в должности младшего научного сотрудника. Область его научных интересов: анализ бинарного кода, компиляторные технологии, обратная инженерия программного обеспечения.

Читает лекции по обязательным курсам «Информационная безопасность и анализ кода», «Анализ кода и надежность программ» в рамках магистерских программ кафедры СП.

В 2010-2013 г. активно участвовал в продвижении экспериментальных новых лекционных курсов для студентов 1 потока 1 курса («Алгоритмы и алгоритмические языки», «Архитектура ЭВМ и язык ассемблера»), выполняя работу по составлению принципиально новых заданий практикума по курсам. По материалам практикума им с соавторами опубликованы два учебных пособия. Участвует в работе специального семинара «Анализ и оптимизация программ» для студентов кафедры.

Автор более 10 научных работ, среди которых:

  1. В. А. Падарян, А. И. Гетьман, М. А. Соловьев. Программная среда для динамического анализа бинарного кода // Труды Института системного программирования РАН, том 16, 2009, с. 51-72.

  2. В. А. Падарян, М. А. Соловьев, А. И. Кононов. Моделирование операционной семантики машинных инструкций // Программирование, 2011, № 3, с. 50-64.

  3. В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко. Методы и программные средства, поддерживающие комбинированный анализ бинарного кода // Труды Института системного программирования РАН, том 26, выпуск 1, 2014, с. 251-276.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 31.I.2024