|
| Шифр совета | 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.), ведущий научный сотрудник отдела технологий программирования, Федеральное государственное бюджетное учреждение науки "Институт системного программирования им. В.П. Иванникова Российской академии наук". |
|---|
|
