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.
Educational institution |
Квалификация |
Expiration date |
|---|---|---|
КазНУ им. аль-Фараби |
Высшее |
2008 |
Name of the scientific degree |
Branch of science |
Graduation Date |
|---|---|---|
ДокторPhD |
15/04/2015 |
0
documents
0