Достижения 2
Баллов: 67Наука 67
Публикация в сборнике трудов ИСП РАН о практической абстрактной интерпретации
Критерий 8б. Публикация, Несколько авторов, Всероссийский уровень [8б-всерос]
Ссылка на статью: https://doi.org/10.15514/ISPRAS-2020-32(6)-8
Доклад на Ломоносовских чтениях: Построение предиката пути как задача абстрактной интерпретации бинарного кода. Доклад ст. преп. Соловьева М. А., асп. 2 г/о Манушина Д. В., студ. 4 курса Папазьяна Е. Ю., студ. 3 курса Макарова С. С.
Критерий 8б. Публикация, Несколько авторов, Публикация в сборниках при конференциях или сборниках тезисов [8б-сборник]
Тезисы доклада находятся в приложенном файле на с. 139
Образование
Университет
Московский государственный университет имени М.В.Ломоносова
Факультет
Факультет вычислительной математики и кибернетики
Кафедра
Кафедра системного программирования
Город
Россия, Москва
Форма обучения
Очная
Статус
Студент (бакалавр)
Год выпуска
2021