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.