Диссертация тақырыбы: Model checking негізінде сандық модельдеуге арналған параллель бағдарламалық жүйелерді верификациялау. Қорғау жылы: 26.12.2014 Отандық ғылыми кеңесшілер: Физика-математика ғылымдарының докторы, ҚР ҰҒА академигі Данаев Н.Т.; Техника ғылымдарының докторы, профессор Ахмед-Заки Д.Ж. Шетелдік ғылыми кеңесші: Жаратылыстану ғылымдарының докторы, профессор Хельмут Вейс.

Білімі

Білім беретін мекеме

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

Аяқталу күні
әл-Фараби атынд.ҚазҰУ
Жоғары
2008

Академикалық дәреже

Академикалық дәреженің атауы

Ғылым саласы

Диплом берілген күні
Магистр

Ғылыми дәрежесі

Ғылыми дәреже атауы
Ғылым саласы
Диплом берілген күні
PhD докторы
15.04.2015
Қызығушылығы
Авто Спорт Музыка Hi-Tech