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

професор, завідувач кафедри ТТП

доктор фізико-математичних наук

професор

601

521-33-45

nikitchenko_ms@knu-dot-ua

формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність

Біографія

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

Нікітченко М.С. був учасником багатьох міжнародних конференцій у різних країнах світу (Амстердам, Варшава, Гамбург, Кіль, Копенгаген, Москва, Мюнстер, Новосибірськ). Він є одним з організаторів міжнародної конференції “Теоретичні та прикладні аспекти побудови програмних систем” (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.

Curriculum Vitae