ИСТИНА

Камкин Александр Сергеевич пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, ассистент, с 1 сентября 2015, по совместительству

кандидат физико-математических наук с 2009 года

Прежние места работы (Нажмите для отображения)

Соавторы: Smolov S., Чупилко М.М., Kotsynyak A., Иванников В.П., Петренко А.К., Putro P., Хорошилов А.В., Gladyshev I., Косачев А.С., Кулямин В.В., Сортов А.А., Demakov A., Yevtushenko N. показать полностью..., Винарский Е.М., Корныхин Е.В., Проценко А.С., Татарников А.Д.

49 статей, 1 книга, 12 докладов на конференциях, 2 тезисов докладов, 1 НИР, 5 свидетельств о регистрации прав на ПО, 1 членство в редколлегии сборника, 7 членств в программных комитетах, 1 диссертация, 1 учебный курс

Количество цитирований статей в журналах по данным Web of Science: 21, Scopus: 33
РИНЦ:

IstinaResearcherID (IRID): 10646083

ResearcherID: B-2194-2014

Scopus Author ID: 22135022900

Деятельность

---

• Статьи в журналах

  • • 2020 Архитектура системы дедуктивной верификации машинного кода
    • GLADYSHEV Ilya, KAMKIN Alexander, KOTSYNYAK Artem, PUTRO Pavel, KHOROSHILOV Alexey
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 3, с. 7-19 DOI
  • • 2019 Поиск конфликтов доступа к данным в HDL-описаниях
    • Камкин А.С., Лебедев М.С., Смолов С.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 3, с. 135-144
  • 
    • 2018 MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
    • Kamkin Alexander, Tatarnikov Andrei
    • в журнале Lecture Notes in Computer Science, том 10742, с. 387-393 DOI
  • • 2017 MicroTESK: Specification-Based Tool for Constructing Test Program Generators
    • Chupilko M., Kamkin A., Kotsynyak A., Tatarnikov A.
    • в журнале Lecture Notes in Computer Science, том 10629, с. 217-220
  • • 2017 Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей
    • Чупилко М.М., Камкин А.С., Лебедев М.С., Смолов С.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 4, с. 247-256 DOI
  • • 2016 Checking Parameterized PROMELA Models of Cache Coherence Protocols
    • Burenkov V., Kamkin A.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 4, с. 57-76 DOI
  • • 2016 Specification-Based Test Program Generation for MIPS64 Memory Management Units
    • Kamkin A., Kotsynyak A.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 4, с.  99-114 DOI
  • • 2016 Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
    • Камкин А.С., Коцыняк А.М., Проценко А.С., Татарников А.Д., Чупилко М.М.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 6, с. 87-102 DOI
  • • 2016 Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций
    • Камкин А.С., Коцыняк А.М.
    • в журнале Проблемы разработки перспективных микро- и наноэлектронных систем" МЭС, № 2, с. 61-67
  • • 2016 Метод масштабируемой верификации Promela-моделей протоколов когерентности кэш-памяти
    • Буренков В.С., Камкин А.С.
    • в журнале Проблемы разработки перспективных микро- и наноэлектронных систем" МЭС, с. 54-60
  • • 2015 A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
    • Kamkin A., Petrochenkov M.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 3, с. 149-160 DOI
  • • 2015 An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
    • Kamkin A., Protsenko A., Tatarnikov A.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 3, с. 125-138 DOI
  • • 2015 An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
    • Melnichenko I., Kamkin A., Smolov S.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 3, с. 161-182 DOI
  • 
    • 2015 Projecting Transition Systems: Overcoming State Explosion in Concurrent System Verification
    • Kamkin A.S.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 311-324 DOI
  • • 2015 The method of EFSM extraction from HDL: application to functional verification
    • Kamkin A.S., Smolov S.A.
    • в журнале Проблемы разработки перспективных микро- и наноэлектронных систем" МЭС, с. 113-118
  • • 2015 Метод построение тестового оракула для подсистемы памяти многоядерного микропроцессора на основе недетерминированной функциональной модели
    • Камкин А.С., Петроченков М.В.
    • в журнале Вопросы радиоэлектроники, том 3, № 3, с. 84-95
  • • 2015 Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
    • Смолов С.А., Камкин А.С.
    • в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), с. 60-73
  • • 2015 Предисловие
    • Камкин А.С., Петренко А.К., Терехов А.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 3, с. 7-8 DOI
  • • 2015 Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем
    • Камкин А.С.
    • в журнале Программирование, том 41, № 6, с. 53-71
  • 
    • 2014 Extensible environment for test program generation for microprocessors
    • Kamkin A.S., Sergeeva T.I., Smolov S.A., Tatarnikov A.D., Chupilko M.M.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 1, с. 1-9
  • • 2014 Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации
    • Камкин А.С., Смолов С.А.
    • в журнале Проблемы разработки перспективных микро- и наноэлектронных систем" МЭС, с. 113-118
  • • 2014 Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
    • Иванников В.П., Камкин А.С., Чупилко М.М.
    • в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), с. 130-142
  • • 2014 Расширяемая среда генерации тестовых программ для микропроцессоров
    • Камкин А.С., Сергеева Т.И., Смолов С.А., Татарников А.Д., Чупилко М.М.
    • в журнале Программирование, том 40, с. 3-14
  • • 2014 Система поддержки верификации реализаций протоколов когерентности с использованием формальных методов
    • Камкин А.С., Петроченков М.В.
    • в журнале Вопросы радиоэлектроники, том 4, с. 27-38
  • • 2014 Средства функциональной верификации микропроцессоров
    • Камкин А.С., Коцыняк А.М., Смолов С.А., Татарников А.Д., Чупилко М.М., Сортов А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, с. 149-200
  • • 2013 Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2s»
    • Баратов Р.А., Камкин А.С., Майорова В.М., Мешков А.Н., Якушева М.А., Сортов А.А.
    • в журнале Вопросы радиоэлектроники, том 4, с. 84-96
  • • 2011 A TLM-based approach to functional verification of hardware components at different abstraction levels
    • Chupilko Mikhail, Kamkin Alexander
    • в журнале 2011 12th Latin American Test Workshop (LATW)
  • 
    • 2011 Survey of modern technologies of simulation-based verification of hardware
    • Kamkin A.S., Chupilko M.M., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 37, № 3, с. 147-152
  • • 2010 Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: Application to verification
    • Chupilko M., Kamkin A.
    • в журнале 2010 12th Biennial Baltic Electronics Conference
  • • 2009 Specification-driven testbench development for synchronous parallel-pipeline designs
    • Chupilko Mikhail, Kamkin Alexander
    • в журнале 2009 NORCHIP
  • • 2008 Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications
    • Kamkin Alexander
    • в журнале Proceedings of IEEE East-West Design & Test Symposium (EWDTS’08)
  • 
    • 2007 The use of contract specifications for representing requirements and for functional testing of hardware models
    • Ivannikov V.P., Kamkin A.S., Kossatchev A.S., Kuliamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 33, № 5, с. 272-282 DOI
  • • 2007 Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры
    • Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К.
    • в журнале Программирование, том 33, № 5, с. 47-62

• Статьи в сборниках

  • • 2020 Architecture of a Machine Code Deductive Verification System
    • Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel, Gladyshev Ilya
    • в сборнике Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020)
  • 
    • 2020 Deductive Binary Code Verification Against Source-Code-Level Specifications
    • Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel
    • в сборнике Tests and Proofs. TAP 2020, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12165, с. 43-58 DOI
  • • 2020 Verifying Cryptographic Protocols by Tamarin Prover
    • Vinarskii Evgenii, Demakov Alexey, Kamkin Alexander, Yevtushenko Nina
    • в сборнике 2020 Ivannikov Memorial Workshop, с. 75-81
  • • 2018 Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK
    • Камкин А.С., Проценко А.С., Смолов С.А., Татарников А.Д.
    • в сборнике Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС), серия Сборники трудов конференции МЭС, том 2, с. 2-8
  • • 2016 An EFSM-Driven and Model Checking-Based Approach to Functional Test Generation for Hardware Designs
    • Kamkin A., Lebedev M., Smolov S.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • • 2016 Applying Parameterized Model Checking to Real-Life Cache Coherence Protocols
    • Burenkov V., Kamkin A.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • • 2016 ESL Design with RTL-Verified Predesigned Abstract Communication Channels
    • Haghi Najafi H., Chupilko M., Kamkin A., Navabi Z.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • • 2016 Testing Logic Circuits at Different Abstraction Levels: An Experimental Evaluation
    • Smolov S., Lopez J., Kushik N., Yevtushenko N., Chupilko M., Kamkin A.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • • 2016 Universal Mitigation of NBTI-Induced Aging by Design Randomization
    • Jenihhin M., Kamkin A., Navabi Z., Sadeghi-Kohan S.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • 
    • 2015 Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units
    • Chupilko Mikhail, Kamkin Alexander, Kotsynyak Artem, Protsenko Alexander, Smolov Sergey, Tatarnikov Andrei
    • в сборнике 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), место издания Institute of Electrical and Electronics Engineers (IEEE), с. 1-6 DOI
  • 
    • 2013 Correctness checking of HDL-model behavior based on runtime trace matching
    • Ivannikov V.P., Kamkin A.S., Chupilko M.M.
    • в сборнике Tools and Methods of Program Analysis, TMPA 2013; Kostroma; Russian Federation; 10 October 2013 through 12 October 2013; Category numberP5172; Code 115685, место издания Institute of Electrical & Electronics Engineers (IEEE), с. 25-30 DOI
  • • 2013 Static analysis of HDL descriptions: Extracting models for verification
    • Kamkin Alexander, Smolov Sergey, Melnichenko Igor
    • в сборнике Proceedings of IEEE East-West Design&Test Symposium (EWDTS’2013), серия Symposium EWDTS, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States)
  • • 2013 Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
    • Иванников В.П., Камкин А.С., Чупилко М.М.
    • в сборнике Труды Конференции TMPA, место издания Кострома
  • 
    • 2011 Reconfigurable Model-Based Test Program Generator for Microprocessors
    • Корныхин Е.В., Камкин А.С., Воробьев Д.Н.
    • в сборнике IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011, с. 47-54 DOI
  • • 2011 Simulation-based hardware verification with time-abstract models
    • Kamkin Alexander
    • в сборнике 2011 9th East-West Design & Test Symposium (EWDTS), серия Symposium EWDTS, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States)
  • • 2006 The UniTESK Approach to Specification-Based Validation of Hardware Designs
    • Kamkin Alexander
    • в сборнике Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)

• Книги

  • • 2018 Введение в формальные методы верификации программ: учебное пособие
    • Камкин А.С.
    • издательство ООО "МАКС Пресс" (Москва) , ISBN 978-5-317-05767-1, 272 с.

• Доклады на конференциях

  • • 2019 Extracting Assertions for Conflicts in HDL Descriptions (Устный)
    • Авторы: Sergey Smolov, Alexander Kamkin, Mikhail Lebedev
    • Spring/Summer Young Researchers' Colloquium on Software Engineering - 2019, Саратов, Россия, 29-31 мая 2019
  • • 2018 MicroTESK: Automated Architecture Validation Suite Generator for Microprocessors (Устный)
    • Авторы: Chupilko M., Kamkin A., Protsenko A., Smolov S., Tatarnikov A.
    • Design and Verification Conference and Exhibition Europe (DVCon Europe), Мюнхен, Германия, 24-25 октября 2018
  • • 2018 Автоматизация верификации микропроцессоров на основе формальных спецификаций системы команд (Пленарный)
    • Автор: Камкин А.С.
    • Новые информационные технологии в исследовании сложных структур, Алтайский край, п. Катунь, Россия, 4-8 июня 2018
  • • 2018 Test Program Generator MicroTESK for RISC-V (Стендовый)
    • Авторы: Chupilko M., Kamkin A., Kotsynyak A., Protsenko A., Smolov S., Tatarnikov A.
    • RISC-V Workshop, Барселона, Испания, 7-10 мая 2018
  • • 2018 Specification-Based Construction of Online TPGs for Microprocessors (Стендовый)
    • Авторы: Chupilko M., Kamkin A.
    • Design, Automation, and Test in Europe (DATE), University Booth, Дрезден, Германия, 19-23 марта 2018
  • • 2017 MicroTESK: Specification-Based Tool for Constructing Test Program Generators (Стендовый)
    • Авторы: Kotsynyak A., Chupilko M., Kamkin A., Tatarnikov A.
    • Haifa Verification Conference, Хайфа, Израиль, 13-15 ноября 2017
  • • 2017 Создание генератора тестовых программ для микропроцессоров с архитектурой MIPS с помощью инструмента MicroTESK (Устный)
    • Автор: Камкин А.С.
    • Nano and Giga Challenges in Electronics, Photonics and Renewable Energy, Digital Design and Computer Architecture in the Era of System on Chip and Internet of Things, Томск, Россия, 18-22 сентября 2017
  • • 2017 Combining MicroTESK and SPIN for Verification of Multi-core Microprocessors (Стендовый)
    • Авторы: Chupilko M., Kamkin A., Lebedev M., Tatarnikov A.
    • Design, Automation, and Test in Europe (DATE), University Booth, Лозанна, Швейцария, 27-30 марта 2017
  • • 2016 Universal Mitigation of NBTI-Induced Aging by Design Randomization (Устный)
    • Авторы: Jenihhin M., Kamkin A., Navabi Z., Sadeghi-Kohan S.
    • East-West Design & Test Symposium, Ереван, Армения, 14-17 октября 2016
  • • 2016 Формальная верификация аппаратуры: задачи и методы (Приглашенный)
    • Автор: Камкин А.С.
    • Проблемы разработки перспективных микро- и наноэлектронных систем, Москва, Россия, 3-7 октября 2016
  • • 2016 Specification-Based Test Program Generation for MIPS64 Memory Management Units (Устный)
    • Авторы: Kamkin Alexander, Kotsynyak Artem
    • X Международная конференция молодых ученых в области программной инженерии SYRCoSE, Московская область, Можайский район, деревня Красновидово, Россия, 30 мая - 1 июня 2016
  • • 2015 Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units (Устный)
    • Авторы: Chupilko M., Kotsynyak Artem, Protsenko A., Smolov S., Tatarnikov A., Kamkin A.
    • 16th International Workshop on Microprocessor Test and Verification (MTV 2015), Остин, США, 3-4 декабря 2015

• Тезисы докладов

  • • 2018 Формальная проверка эквивалентности описаний цифровой аппаратуры
    • Смолов С.А., Камкин А.С., Лебедев М.С.
    • в сборнике Новые информационные технологии в исследовании сложных структур: материалы Двенадцатой конференции с международным участием, место издания Издательский Дом Томского государственного университета Томск, тезисы, с. 83-84
  • • 2016 АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ОПИСАНИЙ ЦИФРОВОЙ АППАРАТУРЫ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ С ПОМОЩЬЮ ИНСТРУМЕНТА NUXMV
    • Камкин А.С., Смолов А.С., Лебедев М.С.
    • в сборнике НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР, место издания Томск, тезисы, с. 50-51

• НИРы

  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.

• Свидетельства о регистрации прав на программное обеспечение

  • • 2018 Программа динамической модульной верификации описаний цифровой аппаратуры C++TESK Testing Toolkit (SOFT)
    • Авторы: Камкин А.С., Пакулин Н.В., Проценко А.С., Сортов А.А., Чупилко М.М.
    • #2018663567, 31 октября
  • • 2018 Программная модель архитектуры RISC-V (SOFT)
    • Авторы: Камкин А.С., Проценко А.С., Татарников А.Д.
    • #2018663565, 31 октября
  • • 2018 Retrascope: Программа анализа HDL-описаний цифровой аппаратуры (SOFT)
    • Авторы: Камкин А.С., Лебедев М.С., Мельниченко И.В., Проценко А.С., Смолов С.А., Чупилко М.М.
    • #2018663000, 18 октября
  • • 2017 MicroTESK: Инструмент автоматизации конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций их архитектуры (SOFT)
    • Авторы: Камкин А.С., Татарников А.Д., Коцыняк А.М.
    • #2017663551, 7 декабря
  • • 2017 Fortress: Набор модулей для описания и преобразования формул и разрешения ограничений (SOFT)
    • Авторы: Камкин А.С., Татарников А.Д., Коцыняк А.М., Смолов С.А.
    • #2017660813, 27 сентября

• Участие в редколлегии сборников

  • • 2018 Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
    • члены редколлегии: Петренко А.К., Камкин А.С.

• Участие в программных комитетах конференций

  • • 30 мая - 1 июня 2018 XII Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Член программного комитета
    • Великий Новгород, Россия
  • • 31 мая - 1 июня 2017 Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE)
    • Член программного комитета
    • Иннополис, Россия
  • • 3-4 марта 2017 Tools and Methods of Program Analysis Conference (TMPA)
    • Член программного комитета
    • Москва, Россия
  • • 30 мая - 1 июня 2016 X Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Член программного комитета
    • Московская область, Можайский район, деревня Красновидово, Россия
  • • 30 мая - 1 июня 2016 X Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Член организационного комитета
    • Московская область, Можайский район, деревня Красновидово, Россия
  • • 12-14 ноября 2015 Третья международная научно-практическая конференция TMPA-2015
    • Член программного комитета
    • Санкт-Петербург, Россия
  • • 28-30 мая 2015 9th Spring/Summer Young Researchers' Colloquium on Software Engineering
    • Член организационного комитета
    • Самара, Россия

• Руководство диссертациями

  • • 2017 Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
    • Автор: А.Д. Татарников
    • Научный руководитель: Камкин А.С., к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
    • Ведущая организация: АО "МЦСТ"
    • Оппоненты: Лацис А.С., Чибисов П.А.

• Авторство учебных курсов

  • • 2016 Верификация моделей программ
    • Автор: Камкин Александр Сергеевич

• Преподавание учебных курсов

  • • с 12 февраля 2016 Верификация моделей программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, вариативной части, лекции, 108 часов

---