Камкин Александр Сергеевич
- Доцент:Московский институт электроники и математики им. А.Н. Тихонова / Департамент компьютерной инженерии
- Доцент:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начал работать в НИУ ВШЭ в 2017 году.
Образование, учёные степени
- 2009Кандидат физико-математических наук
- 2003
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Прикладная математика и информатика», квалификация «математик, системный программист»
Учебные курсы (2024/2025 уч. год)
- Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
- Высокоуровневое и имитационное моделирование цифровых систем (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 4-й курс, 1-3 модуль)Рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
- Высокоуровневое и имитационное моделирование цифровых систем (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 4-й курс, 1-3 модуль)Рус
Учебные курсы (2022/2023 уч. год)
Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Публикации16
- Статья Kamkin A., Khoroshilov A. V., Коцыняк А. М., Путро П. А. Deductive Binary Code Verification Against Source-Code-Level Specifications // Lecture Notes in Computer Science. 2020. Vol. 12165. P. 43-58. doi
- Глава книги Tatarnikov A., Kamkin A. MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors, in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science / Ed. by A. K. Petrenko, A. Voronkov. Vol. 10742. Springer, 2018. doi P. 387-393. doi
- Глава книги Kamkin A., Чупилко М. М., Смолов С. А., Проценко А. С., Коцыняк А. М., Tatarnikov A. Test Program Generator MicroTESK for RISC-V, in: 2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin : IEEE Computer Society, 2018. P. 6-11. doi
- Книга Камкин А. С. Введение в формальные методы верификации программ: учебное пособие. М. : МАКС Пресс, 2018.
- Статья Татарников А. Д., Камкин А. С., Проценко А. С., Смолов С. А. Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2018. № 2. С. 2-8. doi
- Глава книги Kamkin A., Tatarnikov A., Проценко А. С., Смолов С. А., Коцыняк А. М., Чупилко М. М. Maintaining ISA Specifications in MicroTESK Test Program Generator, in: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV). IEEE, 2017. P. 10-14. doi
- Глава книги Tatarnikov A., Kamkin A., Чупилко М. М., Коцыняк А. М. MicroTESK: Specification-Based Tool for Constructing Test Program Generators, in: Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science Vol. 10629: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017. Cham : Springer, 2017. doi P. 217-220. doi
- Статья Камкин А. С., Чупилко М., Лебедев М., Смолов С. Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 247-256. doi
- Статья Татарников А. Д., Камкин А. С., Проценко А. С., Чупилко М. М., Коцыняк А. М. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK // Труды Института системного программирования РАН. 2016. Т. 28. № 6. С. 87-102. doi
- Статья Tatarnikov A., Kamkin A., Проценко А. С. An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms // Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 125-138. doi
- Глава книги Kamkin A., Tatarnikov A., Смолов С. А., Проценко А. С., Коцыняк А. М., Чупилко М. М. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units, in: 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV). IEEE, 2015. P. 1-6. doi
- Статья Татарников А. Д., Камкин А. С., Проценко А. С. Генерация тестовых программ для микропроцессоров на основе спецификаций подсистем памяти // Известия высших учебных заведений. Физика. 2015. Т. 58. № 11-2. С. 70-74.
- Статья Татарников А. Д., Камкин А. С., Смолов С. А., Чупилко М. М., Сергеева Т. И. Расширяемая среда генерации тестовых программ для микропроцессоров // Программирование. 2014. Т. 1. № 40. С. 3-14. doi
- Статья Татарников А. Д., Камкин А. С., Чупилко М. М., Коцыняк А. М., Смолов С. А., Сортов А. А. Средства функциональной верификации микропроцессоров // Труды Института системного программирования РАН. 2014. Т. 26. № 1. С. 149-200. doi
- Глава книги Tatarnikov A., Kamkin A., Сергеева Т. И., Утехин А. Б. MicroTESK: An Extendable Framework for Test Program Generation, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013 / Отв. ред.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan : -, 2013. P. 51-57 . doi
- Глава книги Tatarnikov A., Kamkin A. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors, in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012. Perm : -, 2012. P. 64-69. doi
Конференции
2017
Haifa Verification Conference (Хайфа). Доклад: MicroTESK: Specification-Based Tool for Constructing Test Program GeneratorsИнформация*
Общий стаж: 18 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки
Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации
19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.