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




Surname: Никитченко

Name: Николай

Last name: Степанович

Доктор физ.-мат. наук

nikitchenko@unicyb.kiev.ua

Заведующий кафедрой теории и технологии программирования.
Профессор, доктор физико-математических наук.
Лауреат Государственной премии Украины в области науки и техники.

Окончил Киевский государственный университет, факультет кибернетики в 1973 году. Работает в университете с 1973 года.

Профессором Никитченко Н.С. разработаны принципиально новые математические формализмы для построения композиционно номинативных моделей программ. Эти формализмы интегрируют на единой концептуальной платформе теорию программирования с математической логикой и теорией алгоритмов. Решена проблема А.П. Ершова об определении и исследования понятия абстрактной вычислимости программ. Описаны полные классы вычислительных функций и композиций над данными различных уровней абстракции и всеобщности. Впервые решена проблема построения, аксиоматизации и исследования иерархии семантически ориентированных композиционно номинативных логик, которые существенно обобщают классические на классы частичных, недетерминированных и инфинитарних предикатов. На основе предложенной интегрированной теории разработаны новые методы построения надежного программного обеспечения современных информационных технологий с широким и адекватным использованием логико-алгоритмических методов для проверки его корректности и эффективности.

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

Основные научные интересы:

  • Формальные модели программирования
  • Языки программирования и языки спецификаций
  • Формальные методы разработки программ
  • Логика предикатов на разных уровнях абстракции
  • Абстрактная обчислювальнисть.

Никитченко Н.С. преподает курсы «Теории программирования», «математической логики», «Теории алгоритмов», «Разработка компиляторов», «Теоретических основ программирования».

E-mail: nikitchenko@unicyb.kiev.ua

Никитченко Н.С. является автором более 200 научных и учебно-методических работ.

Публикации:

1. M.Nikitchenko, S. Shkilniak. Algebra-based Logics of Quasiary Predicates / / Specification and Verification of Hybrid Systems: First International Seminar: Proceedings. – Kyiv, 2011 – p. 100-114.
2. М.С. Никитченко, О.С.Шкильняк, C.С.Шкильняк. Построение модальных логик темпорального и эпистемической типа на основе композиционно-номинативных подхода / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2011. – Вып. 3. – С. 204-211.
3. М.С. Никитченко, О.С.Шкильняк. Композиционно-номинативных логики кванторного-еквацийного уровня / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2011. – Вып. 11. – C. 32-40.
4. Nikitchenko MS, Tymofieiev VG: Satisfiability Problem in Composition-Nominative Logics. In: Proceedings of the Eleventh International Conference on Informatics INFORMATICS’2011, Roznava, Slovakia, November 16-18. – 2011. – Pp. 75 – 80
5. М.С. Никитченко, О.С.Шкильняк. Першопорядкови композиционно-номинативных логики / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2011. – Вып. 4. – С. 176-185.
6. M.S. Nikitchenko.Intensional aspects of main mathematical notions. In: Contemporary problems of mathematics, mechanics and computing sciences: NN Kizilova, G.N. Zholtkevych (eds). Kharkov: Apostrophe Publ. (2011), pp. 183-191.
7. М.С. Никитченко, О.С.Шкильняк, C.С.Шкильняк. Двузначные и многозначные композиционно-номинативных логики / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2012. – Вып. 1. – С. 199-206.
8. M.Nikitchenko, Gnoseology-based Approach to Foundations of Informatics. In: Ermolayev, V. et al. (Eds.) Proc. 7-th Int. Conf. ICTERI 2011, Kherson, Ukraine, May 4-7, 2011, CEUR-WS.org/Vol-716, ISSN 1613-0073, p. 27-40, online CEUR-WS.org/Vol-716/ICTERI-2011-CEUR-WS-paper-1-p-27-40.pdf
9. Nikitchenko MS, Tymofieiev VG: Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. In: Proc. 8-th Int. Conf. ICTERI 2012 Kherson, Ukraine, June 6-10, 2012. CEUR-WS.org/Vol-848, http://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-paper-38-p-56-70.pdf

Новини
Дошка оголошень
Цікаві факти