Нікітченко М. С.
| Характеристика | Значения |
|---|---|
| Должности, звания | доктор фіз.-мат. наук; професор; професор кафедри теорії та технології програмування; завідувач кафедри теорії та технології програмування |
| Специальности | 01.05.01 |
| Научные советы | 26.194.02; 26.001.09 |
| Авторских диссертаций | 0 |
| Руководимых диссертаций | 1 |
| Оппонируемых диссертаций | 1 |
Диссертации, в которых участвует Нікітченко М. С.:
| Автор | Наименование | Год | Спец | Совет | Руководитель | Оппонент(ы) |
|---|---|---|---|---|---|---|
| Губа А. А. | ІНСЕРЦІЙНЕ МОДЕЛЮВАННЯ ТА ВЕРИФІКАЦІЯ БАГАТОПОТОКОВИХ СИСТЕМ | 2015 авг | 01.05.01 | 26.194.02 | Летичевський О. А. | Нікітченко М. С. [1]; Гороховський С. С. |
| Криволап А. В. | ПОБУДОВА ТА ДОСЛІДЖЕННЯ ПРОГРАМНИХ ЛОГІК | 2016 мар | 01.05.01 | 26.001.09 | Нікітченко М. С. [1] | Глазунов М. М. [1]; Годлевський О. Б. |
Взаимосвязи персоны: