СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Место рождения: г. Череповец, Вологодская область, Россия. Математик, специалист в области математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей. Кандидат физико-математических наук. Окончил МГУ им. М. В. Ломоносова (факультет вычислительной математики и кибернетики, 2006; аспирантура, 2009). С 2007 – в Институте системного программирования РАН, научный сотрудник, одновременно с 2010 – в МГУ им. М. В. Ломоносова, доцент кафедры системного программирования (информ. на 2022 г.).
    Научные интересы: формальные методы разработки программ; методы спецификации и верификации программ; методы автоматизации тестирования программ и микропроцессоров; технологии программирования.

        Вариантная форма имени

Kornykhin, Eugene (кандидат физико-математических наук ; род. 1984) (английский язык)

        Источники информации
    Построение тестовых программ для проверки подсистем управления памяти микропроцессоров : автореферат диссертации ... кандидата физико-математических наук : 05.13.11 / Корныхин Евгений Валерьевич. ― Москва, 2010.
    Сайт факультета вычислительной математики и кибернетики МГУ им. М. В. Ломоносова. Дата обращения: 05.10.2022.