Нікітченко Микола Степанович

професор, завідувач кафедри теорії та технології програмування, член вченої ради, гарант ОНП "Інженерія програмного забезпечення" (PhD)

Посада:	професор, завідувач кафедри теорії та технології програмування, член вченої ради, гарант ОНП "Інженерія програмного забезпечення" (PhD)
Науковий ступінь:	доктор фізико-математичних наук
Звання:	професор
Аудиторія:	601
Телефон:	(044)521-33-45
E-mail:	nikitchenko_ms@knu.ua
Наукові інтереси:	формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність

Лауреат Державної премії України в галузі науки та техніки (2003 рік)

Лауреат премії імені Тараса Шевченка Київського університету (2010)

Відзнак Вченої ради КНУ імені Тараса Шевченка (2011).

Подяка МОН України (2018 рік)

Теорія програмування, бакалаври, 3 курс.

Математична логіка та теорія алгоритмів, бакалаври, 2 курс (прикладна лінгвістика).

Формальні методи розробки програмних систем, магістри, 1 курс.

Никитченко Н.С. Композиционно-номинативные аспекты адресного программирования // Ж.: «Кибернетика и системный анализ».– 2009.– N.6.– с. 24–35
Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів, підручник // К.-Київський університет. - 2008. - 528 с.
M.S. Nikitchenko, V.G. Tymofieiev Satisfiability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics // CCIS 347, pp. 89–110. Springer, Heidelberg (2013)
M. Nikitchenko, A. Kryvolap Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica, Vol. 13 No. 4, 2013, pp. 70-78.
I. Ivanov, M. Nikitchenko, U. Abraham On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems // CCIS 469, pp.78-99, Springer, (2014)