This Site Is Using an Outdated PHP Version

Dear site owner,
We have detected that this site is using an obsolete PHP version.
PHP version 7.4.32 will be removed from the server configuration on January 1, 2026.
Please update your site software to support a newer PHP version (minimum: 8.2.0, recommended: 8.5.X).
After upgrading your site software, please notify us at help+www at knu.ua.
You can also find instructions on how to change the PHP version yourself here.

Employees | Department of Intelligent Software Systems | Taras Shevchenko National University of Kyiv

Employees

Oleksii I. Chentsov

Oleksii I. Chentsov

Associate Professor,
PhD in Computer Science,
Associate Professor
Links: Scopus, Google Scholar, DBLP.

Education and Career:

2001 — graduated from Taras Shevchenko National University of Kyiv, Faculty of Radiophysics.
2004 — graduated from PhD Studies (Theoretical Computer Science), V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.
2005-2008 — Engineer, Research Laboratory of High-Performance Systems of Information Processing, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2007 — defended Сandidate thesis «Models and Research Methods for Abstract Computational Structures within Categorical Axiomatics». Academic supervisor — DSc., Professor Oleksandr I. Provotar.
2008-2010 — Junior Researcher, Research Laboratory of High-Performance Systems of Information Processing, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2010-2011 — Researcher, Research Laboratory of High-Performance Systems of Information Processing, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2011-2016 — Associate Professor, Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2016-2019 — Associate Professor, Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.
Since 2019 — Associate Professor, Department of Intelligent Software Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.

Research Interests:

  • Discrete mathematics.
  • Category theory.
  • Type systems.
  • Generic programming.
  • Systems programming.
  • Reverse engineering and reengineering of software systems.

Selected papers:

  1. A. I. Chentsov, A. I. Provotar Generalization of Linear Morphisms on N in Topoi // Cybernetics and Systems Analysis, 2005, Volume 41, Issue 5, pp. 688-694.
  2. M. Nikitchenko, A. Chentsov Basics of Intensionalized Data: Presets, Sets, and Nominats // The Computer Science Journal of Moldova, 2012, vol. 20, no. 3, pp. 334-365.
  3. A. Chentsov Many-sorted first-order composition-nominative logic as institution // Computer Science Journal of Moldova, 2016, vol. 24, no. 1(70), pp. 27–54.
  4. A. Chentsov, M. Nikitchenko Composition-Nominative Logics as Institutions // Logica Universalis, 2018, Volume 12, Issue 1–2, pp 221–238.

Teaching:

  1. Discrete Math (practical lessons) — 1st year bachelors, 121 Software Engineering.
  2. Systems Programming and Operating Systems (lectures, labs) — 3rd year bachelors, 121 Software Engineering.
  3. Software Engineering (lectures, labs) — 4th year bachelors, 121 Software Engineering.
  4. Types in Programming Languages (lectures) — 1st year masters, 121 Software of Systems.
  5. Modern Operating Systems (lectures, labs) — 2nd year masters, 121 Software of Systems.