Співробітники кафедри

Шкільняк Оксана Степанівна

Шкільняк Оксана Степанівна

доцент кафедри інтелектуальних програмних систем,
кандидат фізико-математичних наук, доцент

Посилання: Scopus, IEEE Xplore, Google Scholar, ORCID.

Освіта та кар'єра:

2008 р. — закінчила Київський національний університет імені Тараса Шевченка, факультет кібернетики.
2008-2013 рр. — асистент кафедри інформаційних систем факультету кібернетики Київського національного університету імені Тараса Шевченка.
2011 р. — закінчила аспірантуру акультету кібернетики Київського національного університету імені Тараса Шевченка (заочне відділення).
2011 р. — захистила кандидатську дисертацію на тему "Дослідження композиційно-номінативних модальних та темпоральних логік". Науковий керівник — доктор фізико-математичних наук, професор Нікітченко М.С.
2013-2016 рр. — доцент кафедри інформаційних систем факультету кібернетики Київського національного університету імені Тараса Шевченка.
2016-2019 рр. — доцент кафедри інформаційних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.
З 2019 р. — доцент кафедри інтелектуальних програмних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.

Сфера наукових інтересів:

  • Логіко-математичні засоби специфікації програм.
  • Математична логіка.
  • Теоретичні аспекти програмування.

Вибрані публікації:

  1. Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення / О.С.Шкільняк // Наукові записки НаУКМА. Серія: Комп’ютерні науки.– 2008. – Т. 86. – C. 25–34.
  2. Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / О.С.Шкільняк // Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2009. – Т. 99. – C. 37–44.
  3. Шкільняк О.С. Семантичні аспекти композиційно-номінативних модальних і темпоральних логік / О.С.Шкільняк // Вісник Київського університету. Серія: кібернетика. – 2009. – Вип. 9. – C. 49–55.
  4. Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня / О.С.Шкільняк // Проблеми програмування. – 2011, № 1 – C. 17–28.
  5. Шкільняк О.С. Kомпозиційно-номінативні мультимодальні логіки / О.С.Шкільняк, С.С.Шкільняк // Штучний інтелект. – 2011. – № 4. – C. 126–133.
  6. Нікітченко М.С. Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу / М.С.Нікітченко, О.С.Шкільняк, С.С.Шкільняк // Вісник Київського університету. Серія: фіз.-мат. науки. Вип. 3 – Київ, 2011. – С. 204–211.

Викладацька діяльність:

  1. Теорія алгоритмів та математична логіка (практичні заняття) — бакалаври 2-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  2. Алгоритми та складність (лекції) — бакалаври 2-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  3. Комп'ютерна графіка (лекції) — бакалаври 3-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  4. Прикладні логіки та елементи квантових обчислень (лекції) — магістри 2-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.

Теми курсових та дипломних робіт (2020-2021 н. р.):

  1. Некласичні логіки та їх застосування.
  2. Системи аксіоматизованого доведення на базі секвенцій них числень.
  3. Розробка забезпечення для сучасних мобільних пристроїв.
  4. Системи специфікації програм на основі модальних логік.
  5. Розробка систем електронного навчання.