Mykola S. Nikitchenko
Chairman of the department of Theory and Technology of Programming

Information

Position: Chairman of the department of Theory and Technology of Programming
Degree: Doctor of Physical and Mathematical Science
Title: Professor
Room: 601
Phone: 044-259-05-19
E-mail: nikitchenko_ms@knu.ua
Research interests: foundations of informatics and programming, mathematical logic, formal methods of software system development, abstract computability

Academic awards:

State Prize of Ukraine in Science and Technology (2003)
Taras Shevchenko Prize of Taras Shevchenko National University (2010)

Courses:

Theory of Programming
Mathematical Logic
Theory of algorithms
Theoretical foundations of programming

Publications:

  1. Mykola Nikitchenko and Stepan Shkilniak Mathematical logic and theory of algorithms // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 528 p. (In Ukrainian, 2008). Approved by the Ministry of Education of Ukraine as a handbook for Universities.
  2. Mykola Nikitchenko Theory of Programming // Publishing house of Mykola Gogol State University of Nizhyn, Nizhyn, 120 p. (In Ukrainian, 2010).
  3. Mykola Nikitchenko and Stepan Shkilniak Applied Logic // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 278 p. (In Ukrainian, 2013).
  4. Mykola Nikitchenko, Taras Panchenko, and Sergei Poliakov Theory of Programming in Examples and Tasks // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 192 p. (In Ukrainian, 2015).
  5. Mykola Nikitchenko, Oksana Shkilniak, and Stepan Shkilniak Theory of Algorithms // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 239 p. (In Ukrainian, 2015).
  6. Katerina Lavrischeva, Mykola Nikitchenko, Ludmila Omelchuk Technology of Programming of Information Sysrtems. // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 367 p. (In Ukrainian, 2016). Approved by the Ministry of Education of Ukraine as a handbook for Universities.
  7. Rostyslav M. Trokhymchuk, Mykola Nikitchenko. Discrete Mathematics in Examples and Tasks. // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 248 p. (In Ukrainian, 2017, in print).
  8. Ivan Basarab, Mykola Nikitchenko, Volodymyr Redko Compositional data bases. // Lybid’: Kiev, 1992, 192 p. (In Russian).
  9. Anatoliy Doroshenko, Constantin Zereb, Ievgen Ivanov, Mykola Nikitchenko, and Olena Yatcenko Formal Methods of Parallel Program Construction // Kropyvnyckiy, 440 p. (In Russian, 2016).
  10. Nikitchenko M., Tymofieiev V. Satisfiability in composition-nominative logics // Central European Journal of Computer Science, vol. 2, issue 3, 2012, pp. 194-213.
  11. Nikitchenko M., Kryvolap A. Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica, Kosice, Slovakia, 2013, vol. 13, number 4, pp. 70-78.
  12. Kryvolap A., Nikitchenko M. Schreiner W. Extending Floyd-Hoare logic for partial pre- and postconditions // CCIS 412, Springer, Heidelberg, 2013, pp. 355-378.
  13. Skobelev V., Nikitchenko M., Ivanov Ie. On Algebraic Properties of Nominative Data and Functions // CCIS 469, Springer, Heidelberg, 2014, pp. 117-138.

List of publications for years 2010-2017 (in Ukrainian).

Curriculum Vitae