Staff

Oleksii I. Chentsov

Oleksii I. Chentsov

Associate Professor,
Candidate of Physical and Mathematical Science,
Associate Professor
Links: DBLP, Scopus.

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 — Doctor of Physical and Mathematical Science, 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.
Since 2011 — Associate Professor, Department of Information 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.

Teaching:

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