Получение только оценок «отлично» в течение 2-х семестров подряд

Критерий 7а. Два и более подряд семестра на отлично [7а]

Призёр Универсиады МГУ Ломоносов 2024 по прикладной математике и информатике

Критерий 7в. Победа или призёрство в олимпиаде, учебном конкурсе и т.п., Университетский уровень [7в-универ-степень]

Подтверждение - https://lomonosov-msu.ru/rus/event/8441/page/4116

Публикация тезиса и устный доклад на конференции "Ломоносовские чтения-2026"

Критерий 8б. Публикация, Единственный автор, Публикация в сборниках при конференциях или сборниках тезисов [8б-сборник]

Биктимиров, М.Г., Игнатьев В.Н (науч. рук.). Метод подстановок для упрощения предикатных формул в статическом анализаторе.Секция «Вычислительной математики и кибернетики». / М.Г. Биктимиров, В.Н. Игнатьев // Ломоносовские чтения. Научная конференция. 23 марта – 5 апреля 2026 г.: тезисы докладов. — Москва: Издательский отдел факультета ВМК МГУ; МАКС Пресс, 2026. — С. 24–26 е-ISBN 978-5-89407-648-5 ISBN 978-5-317-07378-7

Доклад на международной конференции «Иванниковские чтения»-2026 по теме "Методы упрощения предикатных формул в статическом анализаторе для повышения точности и производительности" (Биктимиров, М.Г., Игнатьев В.Н. - науч. рук.)

Критерий 8б. Публикация, Несколько авторов, Всероссийский уровень [8б-всерос]

Подтверждение - см. стр. 2 в прикрепленном pdf-файле, либо на оф. сайте конференции (https://www.ivannikov-ws.org/#IVMEM): см. соответствующую секцию «Технологии анализа, моделирования и трансформации программ» (нужно развернуть) - работа "Методы упрощения предикатных формул в статическом анализаторе для повышения точности и производительности"

Публикация статьи "Improving the Accuracy of Library Function Modeling in the Static Analyzer" в "Proceedings of Ivannikov ISPRAS Open Conference" (размещается в международной библиотеке научных статей IEEE Xplore), индексируемом Scopus: M. G. Biktimirov, V. N. Ignatyev and M. V. Belyaev, "Improving the Accuracy of Library Function Modeling in the Static Analyzer" 2023 Ivannikov Ispras Open Conference (ISPRAS), Moscow, Russian Federation, 2023, pp. 26-32, doi: 10.1109/ISPRAS60948.2023.10508178 Ссылка на публикацию: https://ieeexplore.ieee.org/document/10508178

Критерий 8б. Публикация, Несколько авторов, Международный уровень [8б-межнар]

В качестве подтверждения: 1) ссылка на публикацию - https://ieeexplore.ieee.org/document/10508178, 2) ссылка на профиль на Scopus с указанием публикации: https://www.scopus.com/results/authorNamesList.uri?sort=count-f&src=al&sid=10d8e2ebf4ba5fe7a206178f81c491d4&sot=al&sdt=al&sl=44&s=AUTHLASTNAME%28Biktimirov%29+AND+AUTHFIRST%28M.G.%29&st1=Biktimirov&st2=M.G.&orcidId=&selectionPageSearch=anl&reselectAuthor=false&activeFlag=true&showDocument=false&resultsPerPage=20&offset=1&jtp=false&currentPage=1&previousSelectionCount=0&tooManySelections=false&previousResultCount=0&authSubject=LFSC&authSubject=HLSC&authSubject=PHSC&authSubject=SOSC&exactAuthorSearch=false&showFullList=false&authorPreferredName=&origin=searchauthorfreelookup&affiliationId=&txGid=fe3a1e53bc2b14185850a175fe5b49dc