Весенний и осенние семестры 2020-ого года закончены на "отлично"

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

на отлично закончено два семестра:

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

получение только оценок "отлично" в последних 4-ёх семестрах

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

призёр" на универсиаде по прикладной математике и информатике

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

Подтверждение призёрства находится в прикреплённом документе на 47-ой странице (96-ой номер в рейтинге)

получение гранта в составе научной группы под руководством В.А.Захарова (кафедра МК ВМК МГУ)

Критерий 8а, Получение гранта [8а-грант]

номер гранта: 18-01-00854 А название: Применение теории схем программ и теории автоматов для решения задач верификации и оптимизации программ

Публикация в журнале, индексируемом в РИНЦ "Системная информатика"

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

Публикация совместнно с научным руководителем Захаровым В.А. Ссылка на ИСТИНу, добавленная Захаровым В.А.: https://istina.msu.ru/publications/article/332486423/ Ссылка на статью в журнале: https://www.system-informatics.ru/ru/article/276

Публикация статьи "A Model Checking based Approach for Detecting SDN Races" в журнале Lecture Notes in Computer Science N 11812

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

Журнал Lecture Notes in Computer Science N 11812 индексируется базой Scopus

публикация в сборнике при конференции "ICAM 2018"

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

тема статьи "О ВЕРХНЕЙ ОЦЕНКЕ ДЛИНЫ КРАТЧАЙШЕЙ УСТАНОВОЧНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ ДЛЯ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ" конференция "Новые информационные технологии в исследовании сложных структур (ICAM 2018)"

публикация в сборнике при конференции "Ломоносов 2018"

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

тема статьи "ON MINIMIZATION OF STRICTLY DETERMINISTIC TIMED FINITE STATE MACHINES" . Сборник тезисов XXV Международной научной конференции студентов, аспирантов и молодых учёных". Секция "Вычислительная математика и кибернетика"

Публикация в журнале МАИС

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

статья "О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени" написана совместно с научным руководителем -- В.А.Захаровым, Ссылка на ИСТИНА: https://istina.msu.ru/publications/article/342971114/ doi статьи: https://www.mais-journal.ru/jour/article/view/1432

Публикация статьи в журнале ВАК "Труды Института системного программирования РАН (Труды ИСП РАН)"

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

Статья: "Совершенные множества путей в полном графе коммутаторов SDN-сети" Прикрепляю doi статьи: https://ispranproceedings.elpub.ru/jour/article/view/1327

публикация в научном журнале уровня ВАК "ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА" статьи "Синтез тестов для цифровых систем на высоком и низком уровнях абстракции"

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

На первых двух страницах располагаются подтверждение факта публикации в журнале (выпуск N47) и то, что нас двое авторов. На третий странице находится подтверждение того факта, что 47-ой номер журнала вышел в июне 2019 года

публикация в Трудах Института системного программирования РАН (Труды ИСП РАН)

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

название статьи: К проверке строго детерминированного поведения временных конечных автоматовю. Статья написана в соавторстве с доцентом кафедры математической кибернетики Захаровым Владимиром Анатольевичем

Публикация в журнале Springer "LNCS 12543"

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

Прикрепляю гранки статьи из журнала "LNCS 12543"

Публикация в журнале, индексируемой базой IEEE

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

Прикрепляю гранки статьи из журнала. Статья из базы IEEE https://ieeexplore.ieee.org/abstract/document/9225043

публикация в сборнике при конференции EWDTS 2019

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

https://ieeexplore.ieee.org/document/8884403

Публикация "Verifying Cryptographic Protocols by Tamarin Prover" в сборнике "2020 Ivannikov Memorial Workshop"

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

Ссылка на ИСТИНу: https://istina.cemi-ras.ru/publications/article/329810334/

публикация в сборнике тезисов "Дискретная математика и ее приложения"?

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

публикация в сборнике тезисов "Тихоновские чтения"?

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

публикация статьи "Experimental evaluation of Timed Finite State Machine based test derivation" в сборнике при конференции EDM 2019

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

В прикреплённом файле расположены название статьи и сборника при конференции, а также сами даты конференции EDM 2019 (с 29 июня по 3 июля 2019 года)

публикация в сборнике при конференции "SYRCOSE 2018"

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

тема статьи: "On the verification of strictly deterministic behavior of Timed Finite State Machines"

публикация в сборнике при конференции "10-я Международная конференция "Дискретные модели в теории управляющих систем""

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

тема статьи: "О проверке детерминированности конечных автоматов с временными ограничениями"

Волонтер на олимпиаде ММО по математике 2018

Критерий 9а. Общественно-значимая деятельность, Мероприятия (результат — само мероприятие), Региональный уровень и выше, Волонтёр [9а-регион+-волонтёр-дни-люди]

На фотографии с подтверждением числа участников информация о том, что в олимпиаде участвовало 943 девятиклассника, выделена

староста группы 518/2, до этого, староста в 418 и 318 группах

Критерий 9а. Общественно-значимая деятельность, Выполнение обязанностей старосты группы не менее года [9а-староста]

я был старостой группы кафедры математической кибернетики в течении двух лет

Критерий 9а. Общественно-значимая деятельность, Выполнение обязанностей старосты группы не менее года [9а-староста]

староста в 318 группе ВМК МГУ в течение 2017 / 2018 учебного года

Критерий 9а. Общественно-значимая деятельность, Выполнение обязанностей старосты группы не менее года [9а-староста]

третье место в составе команды "Щучхелла" на открытом кубке физического факультета МГУ

Награда за спортивную деятельность, Университетский уровень [11б-универ-степень]

второе место в составе волейбольной команды ВМК на университетских соревнованиях по волейболу

Награда за спортивную деятельность, Университетский уровень [11б-универ-степень]

Подтверждение подписано тренером сборной ВМК по волейболу Чесноковой Еленой Сергеевной

третье место в составе команды "Щучхелла" на турнире, посвящённому дню физфака 2019 года

Награда за спортивную деятельность, Университетский уровень [11б-универ-степень]

На этом турнире принимали участие команды со всех факультетов университета.

победа в волейбольном турнире (спартакиада) МГУ в составе мужской команды ВМК

Награда за спортивную деятельность, Университетский уровень [11б-универ-степень]