Name of thesis:
Methods and means of the analysis of programs and software systems source code based on semantic models
Thesis supervisor Co-supervisor / Scientific advisorOfficial reviewers
Khomonenko Anatoly D.
doctor of engineering
Emperor Alexander I St.Petersburg State Transport University, Head
Download reviewMembers of the Academic Degree Council
Bessmertny Igor A.
Doctor of Science, professor
ITMO University, professor
Kholodova Svetlana E.
Doctor of Science, associate professor
ITMO University, associate professor
Kudryashov Boris D.
Doctor of Science, professor
ITMO University, professor
Kuleshov Sergey V.
doctor of engineering
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, Senior Researcher
Lisitsyna Liubov S.
Doctor of Science, professor
ITMO University, professor
Matveev Yuriy N.
Doctor of Science
ITMO University, professor
Parfenov Vladimir G.
Doctor of Science, professor
ITMO University, professor
Senichenkov Yuri B.
doctor of engineering, associate professor
Peter the Great St. Petersburg Polytechnic University, professor
Shalyto Anatoly A.
Doctor of Science, professor
ITMO University, Professor