Нашли опечатку? Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие! Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
Кандидат наук: специальность 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», тема диссертации: Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
2013
Магистратура: Национальный исследовательский университет "Высшая школа экономики", специальность «Программная инженерия», квалификация «Магистр»
2006
Специалитет: Тульский государственный университет, специальность «Комплексное обеспечение информационной безопасности автоматизированных систем», квалификация «Специалист по защите информации»
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
Spring/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, тестировщик программного обеспечения.