• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
27289
E-mail:
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room S913
Web site of the MicroTESK project
Timetable
Download CV
SPIN-RSCI: 4522-1435
ORCID: 0000-0002-4706-1199
ResearcherID: K-4691-2015
Scopus AuthorID: 56024961500
Google Scholar
Blogs
Facebook
LinkedIn
ResearchGate
Academia.edu
Суббота 10:00-12:10 Необходимо согласовывать время консультаций
Supervisor
S. M. Avdoshin
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Andrei Tatarnikov

  • Andrei Tatarnikov has been at HSE University since 2017.

Education and Degrees

  • 2018

    Candidate of Sciences* (PhD) in Mathematical Support and Software in Computers, Complexes and Computer Networks
    Thesis Title: Automated construction of test program generators for microprocessors on the basis of formal specifications

  • 2013

    Master's in Software Engineering
    HSE University

  • 2006

    Degree in Information Security in Automated Systems
    Tula State University

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus

Publications20


Conferences

  • 2018

    8th RISC-V Workshop (Barcelona). Presentation: Test Generator MicroTESK for RISC-V

  • 2017

    Perspectives of System Informatics - 11th International Andrei Ershov Informatics Conference, PSI 2017 (Moscow). Presentation: MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors

  • Haifa Verification Conference (Хайфа). Presentation: MicroTESK: Specification-Based Tool for Constructing Test Program Generators
  • Workshop on RTL and High Level Testing (WRTLT'17) (Taipei). Presentation: A Modular Test Program Generator: Integrating Multiple Test Engines into a Single Framework
  • RISC V Developers Forum (Москва). Presentation: Генератор тестовых программ MicroTESK for RISC-V

  • Design, Automation, and Test in Europe (DATE 2017) (Lausanne). Presentation: Combining MicroTESK and SPIN for Verification of Multi-core Microprocessors
  • 2016
    Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем» (Москва). Presentation: MicroTESK: Среда генерации тестовых программ для микропроцессоров на основе формальных спецификаций системы команд и описаний тестовых сценариев
  • ISPRAS Open (Москва). Presentation: Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Presentation: Language for Describing Templates for Test Program Generation for Microprocessors
  • 2013
    Design, Automation, and Test in Europe (DATE 2013) (Grenoble). Presentation: Advanced Test Program Generator for Microprocessors
  • 50th Design Automation Conference (DAC 2013) (Austin). Presentation: C++TESK and MicroTESK Hardware Verification Toolkits
  • 2012
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Presentation: MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors

Timetable for today

Full timetable