Чем занимается
Ключевые темы по публикациям: Методы тестирования и отладки ПО; Формальные методы верификации; Исследования надёжности и анализа ПО; Планирование задач в системах реального времени; Параллельные вычисления и методы оптимизации.
Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал
Выбранные работы
Все 63 в OpenAlexЧасть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.
Evaluating Key Elements of Error Traces in Static Software Verification2025 · аннотациясвернуть
Software verification is a resource-intensive process that combines automatic program analysis with manual results analysis. While recent advancements in verification techniques and cloud-based infrastructures have…
Software Model Checking for Memory Consistency Verification2025 · аннотациясвернуть
Abstract Optimization transformations performed by a compiler may violate memory consistency requirements for a multithreaded program. This leads to errors, when the program behavior will differ from expected. The…
- Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.2025
- Data Race Detection in the Linux Kernel with CPALockator2024
- Static Memory Consistency Constraints Checking2023
- CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions2017
Configurable toolset for static verification of operating systems kernel modules2015 · аннотациясвернуть
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of modern OS kernels is already high enough. However, this is not the case for kernel modules, like, for example,…
- Predicate Analysis with BLAST 2.72012
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.
Шаблон письма
Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.