Мичуров Михаил Антонович
ФИО (на английском):
Michurov Mihail
Подразделение:
Лаборатория синтеза параллельных программ
Должность:
аспирант
Образование, опыт, языки:
- 2022 г. - бакалавриат ФИТ НГУ, направление 09.03.01 "Информатика и вычислительная техника", направление 09.03.01 "Информатика и вычислительная техника", профиль "Программная инженерия и компьютерные науки", тема: "Разработка и реализация программных средств автоматизированного обнаружения семантических ошибок во фрагментированных программах для системы LuNA"
- 2024 г. - магистратура ФИТ НГУ, направление 09.04.01 "Информатика и вычислительная техника", профиль "Технология разработки программных систем", тема: "Разработка статического анализатора LuNA-программ с использованием языка логического программирования Prolog", диплом с отличием
Ученая степень:
без ученой степени
Ученое звание:
без ученого звания
E-mail:
Действующий сотрудник:
Да