Employees

Oleksandr I. Provotar
Head of Department,
DSc. in Computer Science, Professor
DSc. in Computer Science, Professor
Links:
Scopus,
Publons,
IEEE Xplore,
Google Scholar,
zbMATH,
DBLP,
ResearchGate.
Email: aprowata1 At bigmir Dot net
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.
2003-2016 — Head of Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2016-2017 — Head of Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.
2017-2018 — Professor of Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.
2018-2019 — Head of Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.
Since 2019 — Head of Department of Intelligent Software Systems, Faculty of Computer Science and 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:
- Laureate of M. Ostrovsky's premium in science and technics (1987).
- Laureate of V. M. Glushkov's premium (1999).
- Laureate of state premium of Ukraine in science and technics (2003).
Selected papers:
- 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.
- 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.
- 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.
- L. Katerynich, A. Provotar Neural networks diagnostics in Homeopath system // Iternational Journal "Information Technologies & Knowledge", 2008, Volume 15, Number 1, pp. 89-93.
- L. Katerynich, A. Provotar Homeopath: Diagnostic information system // Journal of Mathematics and Applications, 2010, Number 32, pp. 75-84.
- 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.
- 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.
- 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.
- D. A. Terletskyi, A. I. Provotar Fuzzy Object-Oriented Dynamic Networks. I // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 1, pp. 34-40.
- 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:
- Theory of Algorithms and Mathematical Logic (lectures) — 2nd year bachelors, 121 Software Engineering.
- Fuzzy Logics (lectures) — 1st year masters, 121 Software Engineering.
- Elements of Categorical Analysis (lectures) — 1st year masters, 121 Software Engineering.
- Actual Issues of Bioinformatics (lectures) — 2nd year masters, 121 Software Engineering.
- Non-Classical Logics and their Applications in Software Development (lectures) — 2nd year masters, 121 Software Engineering.