Staff

Oksana S. Shkilniak

Oksana S. Shkilniak

Associate Professor,
Candidate of Physical and Mathematical Science,
Associate Professor

Education and Career:

2008 — graduated from Taras Shevchenko National University of Kyiv, Faculty of Cybernetics.
2008-2015 — 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 — Doctor of Physical and Mathematical Science, Professor Mykola S. Nikitchenko.
Since 2013 — Associate Professor, Department of Information Systems, Faculty of 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.