11 февраля 2025 года в 16 часов 00 минут в ауд. 3103 состоится защита кандидатской диссертации Гревцева Никиты Артемовича
| Диссертация | |
|---|---|
| Шифр совета | 24.2.342.04 |
| Дата размещения объявления | 06.12.2024 |
| Соискатель | Гревцев Никита Артемович |
| Название диссертации | Функциональная верификация микропроцессоров на системном уровне с использованием методов машинного обучения |
| Дата защиты | 11.02.2025 |
| Шифр | 2.3.2. |
| Специальность | Вычислительные системы и их элементы |
| Отрасль науки | Технические науки |
| Автореферат | Загрузить |
| Текст диссертации | Загрузить |
| Решение ДС о приеме к защите диссертации | Загрузить |
| Отзыв научного руководителя | Загрузить |
| Отзывы на диссертацию и автореферат | Загрузить Загрузить Загрузить Загрузить Загрузить Загрузить |
| Ведущая организация | |
| Сведения о ведущей организации | Федеральное государственное бюджетное образовательное учреждение высшего образования "МИРЭА - Российский технологический университет": 119454, ЦФО, г. Москва, Проспект Вернадского, д. 78; +7 (499) 600-80-80; rector@mirea.ru; www.mirea.ru. |
| Отзывы ведущей организации и публикации | Загрузить Загрузить |
| Оппоненты | |
| Сведения об оппонентах | Бычков Игнат Николаевич - доктор технических наук (05.13.15), исполняющий обязанности первого заместителя генерального директора ПАО "Институт электронных управляющих машин им. И.С. Брука"; Камкин Александр Сергеевич - кандидат физико-математических наук (05.13.11.), ведущий научный сотрудник отдела технологий программирования, Федеральное государственное бюджетное учреждение науки "Институт системного программирования им. В.П. Иванникова Российской академии наук". |
| Отзывы оппонентов и публикации | Загрузить Загрузить Загрузить Загрузить |
| Результаты защиты | |
| Сведения о результатах | На заседании 11 февраля 2025 года диссертационный совет 24.2.342.04 принял решение присудить Гревцеву Никите Артемовичу ученую степень кандидата технических наук. |
| Заключение | Загрузить |