# Staff

## Oleksandr I. Provotar

Head of Department,

DSc. in Computer Science, Professor

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:

- M. Ostrovsky premium in science and technics (1987).
- V. M. Glushkov premium (1999).
- 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.