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

Корныхин Евгений Валерьевич

Дата рождения: 26.8.1984
Место рождения: г. Череповец Вологодской обл.
Доцент кафедры, научный сотрудник ИСП РАН.
E-mail:   
Twitter: kornevgen

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

Окончил школу №11 г.Череповца Вологодской области (2001), факультет вычислительной математики и кибернетики МГУ (2006, с отличием), аспирантуру факультета ВМК (2009).

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

С 2007 года работает в Институте системного программирования РАН, c 2012 года — в должности научного сотрудника.

С 2010 года работает в Московском университете, на 2016 год — в должности доцента кафедры системного программирования.

Активно участвует в проведении студенческих олимпиад по программированию. Член Совета молодых ученых факультета ВМК. Начальник курса.

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

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

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

  1. Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров. Программирование, 36(1): 40-49, 2010 (link);

  2. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров. Вычислительные методы и программирование, вып.10, 2009, С.218-227 (link).

  

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

Обновлено: 01.07.2016