Степанов Даниил Сергеевич
| Тема диссертации: | Исследование и разработка методов автоматического поиска ошибок в компиляторах языков программирования |
|---|---|
| Степень: | кандидат наук |
| Специальность: | 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей |
| Отрасль наук: | Технические науки |
| Научные руководители: |
Ицыксон Владимир Михайлович
, кандидат наук , доцент , ФГАОУ ВО «Национальный исследовательский университет ИТМО» , Профессор (отзыв научного руководителя: скачать ) |
| Диссертационный совет: | У.2.3.5.38 |
| Дата размещения диссертации: | 18.03.2024 |
| Принятие к предварительному рассмотрению: | 25.01.2024 |
| Принятие к защите: | 07.03.2024 |
| Дата защиты (план): | 25.04.2024 |
| Текст диссертации | скачать |
| Автореферат диссертации | скачать |
| Короткое название: | ФИЦ ИУ РАН |
|---|---|
| Полное название: | Федеральный исследовательский центр «Информатика и управление» Российской Академии Наук |
| Местонахождение: | Россия, г. Москва |
| Почтовый адрес: | 119333, Россия, г. Москва, ул. Вавилова, д.44, кор.2 |
| Телефон: | +7 (499) 135-62-60 |
| Адрес электронной почты: | ZnJjY3NjQGZyY2NzYy5ydQ== |
| Веб-сайт: | http://www.frccsc.ru |
| Основные публикации: | скачать |
| Отзыв организации: | скачать |
| Фамилия, имя, отчество: | Петренко Александр Константинович |
|---|---|
| Степень, звание: | доктор физико-математических наук , профессор |
| Научная специальность: | 2.3.5. , Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей |
| Место работы, должность: | Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук, отдел технологий программирования Института системного программирования им. В. П. Иванникова РАН , Руководитель |
| Основные публикации: | скачать |
| Отзыв первого оппонента: | скачать |
| Фамилия, имя, отчество: | Кознов Дмитрий Владимирович |
|---|---|
| Степень, звание: | доктор технических наук , доцент |
| Научная специальность: | 2.3.5. , Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей |
| Место работы, должность: | Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет», Математико-механический факультет, кафедра системного программирования , Профессор |
| Основные публикации: | скачать |
| Отзыв второго оппонента: | скачать |
| Фамилия, имя, отчество | Место работы | Должность | Отзыв |
|---|---|---|---|
| Шилов Николай Вячеславович | Университет Иннополис | Доцент лаборатории языков программирования и компиляторов | скачать |
| Гаранина Наталья Олеговна | Институт систем информатики им. А.П. Ершова СО РАН | Старший сотрудник лаборатории теоретического программирования | скачать |
| Булычев Дмитрий Юрьевич | Санкт-Петербургский государственный университет | Доцент кафедры системного программирования математико-механического факультета | скачать |
| Дата заседания совета: | 25.04.2024 |
|---|---|
| Присутствовавшие члены совета: | Заборовский В.С., Уткин Л.В., Дробинцев П.Д., Гаврилова Т.А., Кривулин Н.К., Лебедев И.С., Новиков Ф.А., Устинов С.М., Черноруцкий И.Г. |
| Решение совета: | присуждение учёной степени |
| Файл с заключением совета: | скачать |
