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

Шапкин Павел Александрович

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

Доцент

Кафедра кибернетики (№22) института интеллектуальных кибернетических систем НИЯУ МИФИ
Написать сообщение Весна 2026. Расписание

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

английский
немецкий
русский
Работает в МИФИ с 2007 года
Научно-педагогический стаж: 18 лет

Образование

Высшее образование — специалитет, магистратура: г. Москва ГОУ ВПО "Московский инженерно-физический институт (государственный университет)". 2007. Специальность «Прикладная математика и информатика». Kвалификация «Математик, системный программист»
Профессиональное обучение: ФГАОУ ВО "Национальный исследовательский ядерный университет "МИФИ". 2015.
Профессиональное обучение: ФГАОУ ВО "Национальный исследовательский ядерный университет "МИФИ". 2019. Информационно-коммуникационные технологии в образовании ПП №005414.

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

1. Дискретная математика (математическая логика)
2. Объектно-ориентированное программирование
3. Семантически безопасное информационное моделирование
4. Системный анализ, управление и обработка информации, статистика
5. Формализмы в информационных технологиях

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

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

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

  1. журнал ВАК Поддержка полиморфизма и объектно-ориентированных аспектов в системе абстрактных спецификаций программ // Информационно-измерительные и управляющие системы, 2025г. Т. 23, Вып. 5 Стр. 86-94 doi
  2. журнал ВАК Многоплатформенная библиотека для построения пользовательских интерфейсов на основе функциональных потоков // Информационно-измерительные и управляющие системы, 2025г. Т. 23, Вып. 5 Стр. 7-14 doi
  3. журнал ВАК Система верифицируемых спецификаций программных компонентов с поддержкой встраивания и извлечения // Программные продукты и системы, 2025г. Вып. 1 Стр. 65-76 doi
  4. журнал ВАК Система поиска специфицированных программных компонентов на естественном языке // Информационно-измерительные и управляющие системы, 2024г. Т. 22, Вып. 5 Стр. 80-87 doi
  5. журнал ВАК Совмещенная система логического вывода и динамической верификации спецификаций программных компонентов // Информационно-измерительные и управляющие системы, 2024г. Т. 22, Вып. 5 Стр. 69-79 doi

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

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

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

1 сентября 2019 — 20 декабря 2019 Информационно-коммуникационные технологии в образовании (252 часа) НИЯУ МИФИ
8 октября 2012 — 29 октября 2012 Педагогическое мастерство: методы повышения качества математической подготовки абитуриента НИЯУ МИФИ (72 часа) НИЯУ МИФИ

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