Staff

Oleksandr I. Provotar

Oleksandr I. Provotar

Professor, Head of Department,
Doctor of Physical and Mathematical Science,
Professor
Email: aprowata1 At bigmir Dot net

Education and Career:

1981 — graduated from Taras Shevchenko National University of Kyiv, Faculty of Cybernetics.
1988 — graduated from PhD Studies (Theoretical Computer Science), V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.
1989 — defended Сandidate thesis «S-Translations and their applications for construction of software packages for the mathematical data processing». Academic supervisor — Doctor of Physical and Mathematical Science, Professor, Academician of NAS of Ukraine Ivan V. Sergienko.
1997 — defended Doctoral thesis «Categorical methods within theory meta-mathematical models of recursion». Scientific consultants — Doctor of Physical and Mathematical Science, Professor, Academician of NAS of Ukraine Ivan V. Sergienko, Doctor of Technical Science, Professor, Correspondent-member of NAS of Ukraine Ivan M. Parasiuk.
Since 2003 — Head of Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.

Activities:

2006-2008 — Member of Expert Council of Higher Attestation Commission of Ukraine.
Currently is a member of:
  • Specialized Scientific Councils of V.M. Glushkov Institute of Cybernetics of NAS of Ukraine,
  • Specialized Scientific Councils of Taras Shevchenko National University of Kyiv,
  • Scientific-methodical commission of the Ministry of Education and Science of Ukraine in Software Engineering.

Research Interests:

theory of abstract computing structures (category theory), non-classical logics, bioinformatics, programming.

Academic awards and prizes:

  1. Laureate of M. Ostrovsky's premium in science and technics (1987).
  2. Laureate of V. M. Glushkov's premium (1999).
  3. Laureate of state premium of Ukraine in science and technics (2003).

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. P. V. Vasilik, A. I. Provotar To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences) // Cybernetics and Systems Analysis, 2006, Volume 42, Issue 4, pp. 582-586.
  3. P. V. Vasilik, A. I. Provotar On the paralogicality of some logical constructs // Cybernetics and Systems Analysis, 2008, Volume 44, Issue 3, pp. 457-462.
  4. L. Katerynich, A. Provotar Neural networks diagnostics in Homeopath system // Iternational Journal "Information Technologies & Knowledge", 2008, Volume 15, Number 1, pp. 89-93.
  5. L. Katerynich, A. Provotar Homeopath: Diagnostic information system // Journal of Mathematics and Applications, 2010, Number 32, pp. 75-84.
  6. A. I. Provotar, A. V. Lapko, A. A. Provotar Fuzzy inference systems and their applications // Cybernetics and Systems Analysis, 2013, Volume 49, Issue 4, pp. 517-525.
  7. D. O. Terletskyi, O. I. Provotar Mathematical foundations for designing and development of intelligent systems of information analysis // Problems in Programming, 2014, Volume 15, Number 2-3, pp. 233-241.
  8. D. O. Terletskyi, A. I. Provotar Object-Oriented Dynamic Networks // International Book Series Information Science and Computing, Book 30: "Computational Models for Business and Engineering Domains", edited by G. Setlak, K. Markov, ITHEA, 2014, 123-136 pp.
  9. D. A. Terletskyi, A. I. Provotar Fuzzy Object-Oriented Dynamic Networks. I // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 1, pp. 34-40.
  10. D. A. Terletskyi, A. I. Provotar Fuzzy Object-Oriented Dynamic Networks. II // Cybernetics and Systems Analysis, 2016, Volume 52, Number 1, pp. 38-45.

Teaching:

  1. Theory of Algorithms and Mathematical Logic (lectures) — 2nd year bachelors, 121 Software Engineering.
  2. Fuzzy Logics (lectures) — 1st year masters, 121 Software Engineering.
  3. Actual Issues of Bioinformatics (lectures) — 2nd year masters, 121 Software Engineering.
  4. Non-Classical Logics and their Applications in Software Development (lectures) — 2nd year masters, 121 Software Engineering.