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

Посада:
професор, завідувач кафедри теорії та технології програмування
Науковий ступінь:
доктор фізико-математичних наук
Звання:
професор
Аудиторія:
№ 601
Телефон:
E-mail:
Наукові інтереси:
формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність.

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