• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
22508
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 434
Время присутствия: Суббота 10:00-12:10 Необходимо согласовывать время консультаций
Сайт проекта MicroTESK
Расписание
Резюме (PDF, 153 Кб)
SPIN РИНЦ: 4522-1435
ORCID: 0000-0002-4706-1199
ResearcherID: K-4691-2015
Scopus AuthorID: 56024961500
Google Scholar
Блоги и соц. сети
Facebook
LinkedIn
ResearchGate
Academia.edu
Руководитель
Авдошин С. М.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Татарников Андрей Дмитриевич

  • Начал работать в НИУ ВШЭ в 2017 году.
  • Научно-педагогический стаж: 2 года.

Образование, учёные степени

  • 2018
    Кандидат технических наук: специальность 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», тема диссертации: Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
  • 2013

    Магистратура: Национальный исследовательский университет «Высшая школа экономики», специальность «Программная инженерия»

  • 2006

    Специалитет: Тульский государственный университет, специальность «Комплексное обеспечение информационной безопасности автоматизированных систем»

Учебные курсы (2019/2020 уч. год)

Учебные курсы (2018/2019 уч. год)

Учебные курсы (2017/2018 уч. год)

Обеспечение качества и тестирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус

Публикации20


Конференции

  • 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
  • 2013
    Design, 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
  • 2012
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Доклад: MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors

Расписание занятий на сегодня

Полное расписание

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.