Степанов Даниил Сергеевич
Тема диссертации: | Исследование и разработка методов автоматического поиска ошибок в компиляторах языков программирования |
---|---|
Степень: | кандидат наук |
Специальность: | 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. , Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей |
Место работы, должность: | Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет», Математико-механический факультет, кафедра системного программирования , Профессор |
Основные публикации: | скачать |
Отзыв второго оппонента: | скачать |
Фамилия, имя, отчество | Место работы | Должность | Отзыв |
---|---|---|---|
Шилов Николай Вячеславович | Университет Иннополис | Доцент лаборатории языков программирования и компиляторов | скачать |
Гаранина Наталья Олеговна | Институт систем информатики им. А.П. Ершова СО РАН | Старший сотрудник лаборатории теоретического программирования | скачать |
Булычев Дмитрий Юрьевич | Санкт-Петербургский государственный университет | Доцент кафедры системного программирования математико-механического факультета | скачать |