Татарников Андрей Дмитриевич
- Приглашенный преподаватель:Факультет компьютерных наук / Департамент программной инженерии
- Начал работать в НИУ ВШЭ в 2024 году.
- Научно-педагогический стаж: 6 лет.
Образование, учёные степени
- 2018Кандидат технических наук: специальность 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», тема диссертации: Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
- 2013
Магистратура: Национальный исследовательский университет «Высшая школа экономики», специальность «Программная инженерия», квалификация «Магистр»
- 2006
Специалитет: Тульский государственный университет, специальность «Комплексное обеспечение информационной безопасности автоматизированных систем», квалификация «Специалист по защите информации»
Учебные курсы (2023/2024 уч. год)
- Архитектура компьютера и операционные системы (Бакалавриат; где читается: Факультет экономических наук; 2-й курс, 3, 4 модуль)Рус
- Архитектура компьютера и операционные системы (Бакалавриат; где читается: Факультет социальных наук; 2-й курс, 3, 4 модуль)Рус
- Computer Architecture and Operating Systems (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Анг
- Архитектура компьютера и операционные системы (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Архитектура компьютера и операционные системы (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Computer Architecture and Operating Systems (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Анг
- Принципы статического анализа исходного кода (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
Учебные курсы (2020/2021 уч. год)
- Computer Architecture and Operating Systems (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Анг
- Обеспечение качества и тестирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Computer Architecture and Operating Systems (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 2-4 модуль)Анг
- Обеспечение качества и тестирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Introduction to Programming (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг
Публикации20
- Глава книги 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
- Статья Татарников А. Д., Камкин А. С., Проценко А. С., Смолов С. А. Генератор тестовых программ для архитектуры 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. № 1. С. 167-194. doi
- Глава книги Tatarnikov A. An Approach to Instruction Stream Generation for Functional Verification of Microprocessor Designs, in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016). Yerevan : IEEE, 2016. P. 270-273. doi
- Статья Tatarnikov A. Language for Describing Templates for Test Program Generation for Microprocessors // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 4. P. 77-98. doi
- Статья Татарников А. Д., Камкин А. С., Проценко А. С., Чупилко М. М., Коцыняк А. М. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK // Труды Института системного программирования РАН. 2016. Т. 28. № 6. С. 87-102. doi
- Статья Татарников А. Д. Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. Т. II. С. 38-45.
- Статья Татарников А. Д. Построение поведенческих моделей микропроцессоров для генерации тестовых программ // Известия высших учебных заведений. Физика. 2016. Т. 59. № 8-2 . С. 97-100.
- Статья 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.
- Глава книги Татарников А. Д. Инструмент автоматизации разработки генераторов тестовых программ для микропроцессоров на основе формальных спецификаций // В кн.: Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции / Под общ. ред.: А. Н. Тихонов, В. Н. Азаров, У. В. Аристова, М. В. Карасев, В. П. Кулагин, Ю. Л. Леохин, Б. Г. Львов, Н. С. Титкова, С. У. Увайсов. М. : МИЭМ НИУ ВШЭ, 2015. С. 53-54.
- Глава книги Tatarnikov A., Коцыняк А. М. A Generic Knowledgebase for Test Generation, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. doi
- Статья Татарников А. Д., Камкин А. С., Смолов С. А., Чупилко М. М., Сергеева Т. И. Расширяемая среда генерации тестовых программ для микропроцессоров // Программирование. 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
Конференции
- 2018
8th RISC-V Workshop (Barcelona). Доклад: Test Generator MicroTESK for RISC-V
- 2017
Haifa Verification Conference (Хайфа). Доклад: MicroTESK: Specification-Based Tool for Constructing Test Program Generators
Perspectives of System Informatics - 11th International Andrei Ershov Informatics Conference, PSI 2017 (Moscow). Доклад: MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
- Haifa Verification Conference (Хайфа). Доклад: MicroTESK: Specification-Based Tool for Constructing Test Program Generators
- Workshop on RTL and High Level Testing (WRTLT'17) (Taipei). Доклад: A Modular Test Program Generator: Integrating Multiple Test Engines into a Single Framework
RISC V Developers Forum (Москва). Доклад: Генератор тестовых программ MicroTESK for RISC-V
- 2016Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем» (Москва). Доклад: MicroTESK: Среда генерации тестовых программ для микропроцессоров на основе формальных спецификаций системы команд и описаний тестовых сценариев
- ISPRAS Open (Москва). Доклад: Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
- Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Доклад: Language for Describing Templates for Test Program Generation for Microprocessors
- 2013Design, Automation, and Test in Europe (DATE 2013) (Grenoble). Доклад: Advanced Test Program Generator for Microprocessors
- 50th Design Automation Conference (DAC 2013) (Austin). Доклад: C++TESK and MicroTESK Hardware Verification Toolkits
- 2012Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Доклад: MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors
Опыт работы
1. Ноябрь 2011 – настоящее время. Институт системного программирования им. В.П. Иванникова РАН, младший научный сотрудник, ведущий разработчик (Java и Ruby).
2. Март 2008 – сентябрь 2011. SmartBear Software, разработчик программного обеспечения (C++ и Delphi).
3. Август 2006 – март 2008. SmartBear Software , ведущий специалист технической поддержки.
4. Июль 2005 – август 2006. SmartBear Software, тестировщик программного обеспечения.
Информация*
- Общий стаж: 15 лет
- Научно-педагогический стаж: 6 лет
ФКН получил доступ к Яндекс.Облаку
В декабре 2020 года факультет компьютерных наук приобрел вычислительные ресурсы Яндекс.Облака . Теперь сотрудники и студенты факультета могут получить доступ к сервису Яндекс.Облако , который позволяет создавать виртуальные машины под различные потребности и работать с графическими процессорами, базами данных и hadoop -кластерами.
Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации
19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.