Мичуров Михаил Антонович

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