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