Gairatjan Khudayberganovich Mavlankulov successfully defended his doctoral dissertation in technical sciences. The topic of his research was 'Mathematical Modeling of Formal Languages and Petri Net Controlled Systems, Creation of Their Algorithms and Software Packages.'