Персональные страницы сотрудников НИЯУ МИФИ
НИЯУ МИФИ Национальный исследовательский ядерный университет «МИФИ»
  1. Научно-педагогические работники
  2. Козырев В.П.
Козырев В.П.

Козырев Владимир Петрович

Ученая степень: кандидат технических наук

Доцент

Кафедра кибернетики (22, ИИКС КАФ.22)

Доцент

Кафедра кибернетики (22, ИИКС КАФ.22)
Написать сообщение Весна 2024. Расписание

Владение языками

английский
Работает в МИФИ с 1977 года
Научно-педагогический стаж: 26 лет

О себе

Более 20 лет занимается разработкой авионики, имеет опыт участия в разработке бортовых программных систем на всех ее этапах, а также опыт разработки инструментальных средств поддержки разработки и верификации бортовых программных систем. Автор нескольких научных статей, посвященных методам и средствам верификации бортового ПО, опубликованных в российских и зарубежных изданиях. Ведущий разработчик инструментов верификации бортового ПО, создаваемых в рамках программы импортозамещения в компании Advalange, внедренных на нескольких российских предприятиях.

Образование

Высшее образование — специалитет, магистратура: Московский инженерно-физический институт. 1977. Специальность «Прикладная математика». Kвалификация «инженер-математик»
Дополнительное профессиональное образование: Национальный исследовательский ядерный университет «МИФИ». 2015. Специальность «Вычислительные машины, комплексы, системы и сети»

Преподаваемые дисциплины

1. Технологии промышленной разработки программного обеспечения: основные понятия
2. Технология программирования кибернетических систем (управление программными проектами)

Публикационная активность

1
Индекс Хирша (Web of Science)
1
Индекс Хирша (Scopus)
1
Индекс Хирша (РИНЦ)

Показаны публикации за последние 3 года

  1. Статья
    Web of Science & Scopus
    Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C // Programming and Computer Software, 2022 Vol. 48, No. 4, Q3 pp. 256-264 doi
  2. журнал ВАК АНАЛИЗ СТРУКТУРНОГО ПОКРЫТИЯ ТОЧЕК ВХОДА И ВЫХОДА, НЕОБХОДИМЫЙ ДЛЯ ДОСТИЖЕНИЯ ЦЕЛЕЙ, ОПРЕДЕЛЕННЫХ В DO-178C // Программирование, 2022г. Вып. 4 Стр. 17-26 doi
  3. Статья Анализ структурного покрытия точек входа и выхода, необходимый для достижения целей, определенных в DO-178C // Программирование, Наука, 2022г. Т. 48, Вып. 4 Стр. 256-264 doi

Показаны конференции за последние 3 года

Информация о конференциях не найдена

Повышение квалификации

8 декабря 2020 — 19 февраля 2021 Цифровая грамотность современного преподавателя (72 часа) МИФИ

Членство в редколлегиях научных журналов

апр. 2024 — мая 2024 CYRCoSE 2024
апр. 2023 — мая 2023 CYRCoSE 2023
апр. 2022 — мая 2022 CYRCoSE 2022

Согласие на обработку персональных данных получено в соответствии с Федеральным законом от 27.07.2006 № 152-ФЗ «О персональных данных»