В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
Regular version of the site
Andrei Tatarnikov
- Andrei Tatarnikov has been at HSE University since 2025.
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.
Conferences
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