Employees

Oksana S. Shkilniak
Associate Professor,
PhD in Computer Science,
Associate Professor
PhD in Computer Science,
Associate Professor
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:
- Theory of Algorithms and Mathematical Logic (practical lessons) — 2nd year bachelors, 121 Software Engineering.
- Algorithms and Complexity (lectures) — 2nd year bachelors, 121 Software Engineering.
- Computer Graphics (lectures, labs) — 3rd year bachelors, 121 Software Engineering.
- Software-Oriented Logics (lectures) — 1st year masters, 121 Software Engineering.
- Applied Logics and Elements of Quantum Computing (lectures) — 2nd year masters, 121 Software Engineering.