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

Професором Нікітченком М.С. розроблено принципово нові математичні формалізми для побудови композиційно-номінативних моделей програм. Ці формалізми інтегрують на єдиній концептуальній платформі теорію програмування з математичною логікою та теорією алгоритмів. Розв’язано проблему А.П. Єршова про визначення та дослідження поняття абстрактної обчислюваності програм. Описано повні класи обчислюваних функцій і композицій над даними різних рівнів абстракції і загальності. Вперше вирішено проблему побудови, аксіоматизації та дослідження ієрархії семантично орієнтованих композиційно-номінативних логік, які суттєво узагальнюють класичні на класи часткових, недетермінованих та інфінітарних предикатів. На основі запропонованої інтегрованої теорії розроблено нові методи побудови надійного програмного забезпечення сучасних інформаційних технологій з широким та адекватним використанням логіко-алгоритмічних методів для перевірки його коректності та ефективності.

Нікітченко М.С. був учасником багатьох міжнародних конференцій у різних країнах світу (Амстердам, Варшава, Гамбург, Кіль, Копенгаген, Москва, Мюнстер, Новосибірськ). Він є одним з організаторів міжнародної конференції “Теоретичні та прикладні аспекти побудови програмних систем” (TAAPSD’2004). Був членом програмного комітету Міжнародного конгресу з Формальних методів (Франція, 1999), конференції VDM’90. З 1995 року є членом програмного комітету Міжнародних конференцій з баз даних та інформаційних систем (ADBIS). Є членом редакційної колегії «Журналу з логічного та алгебраїчного програмування» (The Journal of Logic and Algebraic Programming, видавницство ELSEVIER), членом Європейської асоціації Теоретичних комп’ютерних наук (EATCS) та Асоціації Символьної логіки (ASL). В 1992-1996 роках був співголовою Українського відділення  комп’ютерного товариства IEEE.

Професор Нікітченко М.С. працював в Міжнародному інституті інформаційних технологій Університету Об’єднаних Націй (UNU/IIST, 1996) та запрошеним професором Датського Технічного університету (DTU, 1997-1998). Він приймає участь в міжнородних INTAS проектах.

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

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

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

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

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

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

1. Никитченко Н.С. Композиционно-номинативные аспекты адресного программирования // Ж.: «Кибернетика и системный анализ».– 2009.– N.6.– с. 24–35
2. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів, підручник // К.-Київський університет. – 2008. – 528 с.
3. 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)
4. 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.
5. I. Ivanov, M. Nikitchenko, U. Abraham On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems // CCIS 469, pp.78-99, Springer, (2014)

Список публікацій за 2010-2017.