Mykola (Nikolaj) Nikitchenko

Student:
Kiev Taras Shevchenko State University, Faculty of Cybernetics (1968 - 1973), graduated with distinction.
Position:
Chairman of the department of Theory and Technology of Programming, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv (Ukraine)
Degree:
Doctor of Physical and Mathematical Science
Academic rank:
Professor
Office:
№ 601
Phone:
E-mail:
Positions at foreign universities:
  • Visiting researcher of the International Institute for Software Technology
    of the United Nations University (1996);
  • Guest Professor at the Technical University of Denmark (1997-1998);
  • Guest Professor at the Paul Sabatier University of Toulouse, France (2011);
  • Guest Professor at the Johannes Kepler University of Linz, Austria (2012);
  • Guest Professor at the University of Bialystok, Poland (2017).
Guest Professor at Ukrainian universities:
  • National University of "Kyiv-Mohyla Academy", Kyiv (2004-2005);
  • Kherson State University, Kherson (2007);
  • Mykola Gogol State University of Nizhyn (2008-2010);
  • Crimean State Humanitarian University, Yalta (2012-2013).
Membership:
  • Member of the Program and Steering Committees of the East-European
    Conference on Advances in Databases and Information Systems (ADBIS)
    (since 1995);
  • Member of the Program and Steering Committees of the ICTERI Conference;
  • Member of Programs Committees of 8 Ukrainian, Russian, Slovak, Egyptian,
    and Serbian Scientific Conferences;
  • Member of the Editorial Boards of 3 Ukrainian Scientific Journals;
  • Co-chairman of the Ukrainian Sub-committee of the CS IEEE (1992-1996);
  • Member and officer of the Ukrainian Chapter of the ACM (since 2010);
  • Chairman of the sub-committee on Informatics of the Ministry of Education
    and Science of Ukraine (2007–2015);
  • Chairman of the sub-committee on Software Engineering of the Ministry of
    Education and Science of Ukraine (since 2016);
  • Member of the Higher School Academy of Sciences of Ukraine (since 2016).
Main scientific interests:
foundations of informatics and programming, mathematical logic, formal methods of software system development, abstract computability.
Awards:
  • State Prize of Ukraine in Science and Technology (2003);
  • Taras Shevchenko Prize of Taras Shevchenko National University (2010).

Handbooks and monographs:

  • 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.
  • Mykola Nikitchenko: Theory of Programming, Publishing house of Mykola Gogol State University of Nizhyn, Nizhyn, 120 p. (In Ukrainian, 2010).
  • Mykola Nikitchenko and Stepan Shkilniak: Applied Logic, Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 278 p. (In Ukrainian, 2013).
  • 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).
  • 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).
  • 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.
  • 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).
  • Ivan Basarab, Mykola Nikitchenko, Volodymyr Redko: Compositional data bases. Lybid’: Kiev, 1992, 192 p. (In Russian).
  • Anatoliy Doroshenko, Constantin Zereb, Ievgen Ivanov, Mykola Nikitchenko, and Olena Yatcenko: Formal Methods of Parallel Program Construction, Kropyvnyckiy, 440 p. (In Russian, 2016).

Publications:

more than 100 papers, 3 monographs, 2 handbooks approved by the Ministry of Education and Science of Ukraine, 5 handbooks on Mathematical Logic and Theory of Programming.

Main publications on the topic of tutorial “Logic and Computer Programming”:

  • Nikitchenko M., Tymofieiev V. "Satisfiability in composition-nominative logics", Central European Journal of Computer Science, vol. 2, issue 3, 2012, pp. 194-213.
  • 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.
  • Kryvolap A., Nikitchenko M. Schreiner W. “Extending Floyd-Hoare logic for partial pre- and postconditions”, CCIS 412, Springer, Heidelberg, 2013, pp. 355-378.
  • 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).