Staff

Oleksandr I. Provotar

Oleksandr I. Provotar

Head of Department,
DSc. in Computer Science, Professor
Links: Scopus, Web of Science, DBLP, Google Scholar, zbMATH, ResearchGate.

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 PhD 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. M. Ostrovsky premium in science and technics (1987).
  2. V. M. Glushkov premium (1999).
  3. 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. Elements of Categorical Analysis (lectures) — 1st year masters, 121 Software Engineering.
  4. Actual Issues of Bioinformatics (lectures) — 2nd year masters, 121 Software Engineering.
  5. Non-Classical Logics and their Applications in Software Development (lectures) — 2nd year masters, 121 Software Engineering.