Dissertation Topic: Verification of Parallel Software Systems for Numerical Modeling Based on Model Checking. Defense Date: 26 December 2014 Domestic Scientific Consultants: Doctor of Physical and Mathematical Sciences, Academician of the National Academy of Sciences of the Republic of Kazakhstan, Danaev N.T.; Doctor of Technical Sciences, Professor Ahmed-Zaki D.Zh. International Scientific Consultant: Doctor of Natural Sciences, Professor Helmut Weiss.


Education

Educational institution

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

Expiration date

КазНУ им. аль-Фараби
Высшее
2008

Academic degree

Name of the scientific degree
Branch of science
Graduation Date
ДокторPhD
15/04/2015