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

Место рождения: г. Череповец Вологодской обл.

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

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

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

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

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

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

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

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

• Reconfigurable Model-Based Test Program Generator for Microprocessors. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
• Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров. Программирование, 36(1): 40-49, 2010;
• Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров. Вычислительные методы и программирование, вып.10, 2009, С.218-227