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.