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.
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.
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.
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
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Presentation: MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors