Тема диссертации: Верификация параллельных программных систем численного моделирования на основе Model checking. Год защиты: 26.12.2014 Отечественные научные консультанты: доктор физико-математических наук, академик НАН РК Данаев Н.Т., и доктор технических наук, профессор Ахмед-Заки Д.Ж. Зарубежный научный консультант: Доктор естественных наук, профессор Хельмут Вейс.

Образование

Образовательное учреждение

Квалификация

Дата окончания
КазНУ им. аль-Фараби
Высшее
2008

Академическая степень

Наименование академической степени

Область науки

Дата выдачи диплома
Магистр
Магистр информатики

Ученая степень

Наименование ученой степени
Область науки
Дата выдачи диплома
ДокторPhD
Информатика
15.04.2015
Интересы
Авто Спорт Музыка Hi-Tech