This Site Is Using an Outdated PHP Version

Dear site owner,
We have detected that this site is using an obsolete PHP version.
PHP version 7.4.32 will be removed from the server configuration on January 1, 2026.
Please update your site software to support a newer PHP version (minimum: 8.2.0, recommended: 8.5.X).
After upgrading your site software, please notify us at help+www at knu.ua.
You can also find instructions on how to change the PHP version yourself here.

Employees | Department of Intelligent Software Systems | Taras Shevchenko National University of Kyiv

Employees

Oksana S. Shkilniak

Oksana S. Shkilniak

Associate Professor,
PhD in Computer Science,
Associate Professor

Links: Scopus, IEEE Xplore, Google Scholar, ORCID.

Education and Career:

2008 — graduated from Taras Shevchenko National University of Kyiv, Faculty of Cybernetics.
2008-2013 — Assistant Professor, Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2011 — graduated from PhD Studies (Theoretical Computer Science), Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2011 — defended Сandidate thesis "Investigation of composition-nominative modal and temporal logics". Academic supervisor — DSc in Computer Science, Professor Mykola S. Nikitchenko.
2013-2016 — Associate Professor, Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2016-2019 — Associate Professor, Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.
Since 2019 — Associate Professor, Department of Intelligent Software Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.

Research Interests:

  • Logical-mathematical tools of programs specification.
  • Mathematical logic.
  • Theoretical aspects of programming.

Teaching:

  1. Theory of Algorithms and Mathematical Logic (practical lessons) — 2nd year bachelors, 121 Software Engineering.
  2. Algorithms and Complexity (lectures) — 2nd year bachelors, 121 Software Engineering.
  3. Computer Graphics (lectures, labs) — 3rd year bachelors, 121 Software Engineering.
  4. Software-Oriented Logics (lectures) — 1st year masters, 121 Software Engineering.
  5. Applied Logics and Elements of Quantum Computing (lectures) — 2nd year masters, 121 Software Engineering.