Фото Хижа О Л

Хижа Олександр Леонідович

кандидат фізико-математичних наук, доцент

Наукові інтереси: Математичні основи інформатики та програмування. Формальні методи верифікації програм. Програмні засоби доведення правильності програм. Новітні технології підтримки навчального процесу та олімпіад з програмування.

Warning: Undefined array key "content" in /home/gkdnepr/dnu.dp.ua/fpm/wp-content/themes/betheme/functions/theme-shortcodes.php on line 13343
  • Програмування
  • Об’єктно-орієнтоване програмування
  • Теоретичне та функціональне програмування
  • Математичні основи програмування
  • Основи програмування на мові JavaScript

Прикладні аспекти статичної верифікації програм. Розробка програмного забезпечення для навчального процесу і для олімпіад з програмування.

Web of Science Researchgate ID ORCID ID
V-2452-2017 Oleksandr Khyzha 0000-0002-0729-8976
  • Експерт-консультант Міністерства освіти і науки України по олімпіадах з програмування (з 1999 року).
  • Тренер студентських олімпіадних команд з програмування (з 1998 року).
  • Координатор (відповідальний секретар) Всеукраїнської командної студентської олімпіади з програмування (ICPC) у Дніпропетровській області (з 2008 року).
  • Голова сектору освіти Асоціації IT-Dnipro Community (2016-2020 р.р.)
  • Голова журі обласних олімпіад з інформатики і програмування (з 1993 року).
  • 1) "ВІДМІННИК ОСВІТИ УКРАЇНИ" (Знак №14242 Наказ №400-K від 11.08.1995)
  • 2) "ВІДМІННИК ОСВІТИ УКРАЇНИ" (Знак №38863 Наказ №455-K від 12.07.1999)
  • 3) Почесне звання: «ЗАСЛУЖЕНИЙ ПРАЦІВНИК ОСВІТИ УКРАЇНИ» (посвідчення № 1385, указ № 313 від 16.05.2001 р.). Посилання

Список основних публікацій

Наукові

2022

  1. Аврахов Ф.В., Хижа О.Л. Удосконалення навчання програ-муванню на основі автоматизованої дедуктивної верифікації програм // XX МНПК "Математичне та про-грамне забезпечення Інтелектуаль-них систем", 2022, Дніпро: ДНУ ім. Олеся Гончара, с. 3-4.
  2. Аврахов Ф.В., Хижа О.Л. Дослідження методів доведення правильності комп'ютерних програм засобами платформи дедуктивної верифікації програм why3 // XX МНПК "Математичне та програмне забезпечення Інтелектуаль них систем", 2022, Дніпро: ДНУ ім. Олеся Гончара, с. 3-4.

2023

  1. Горобець А. Л., Хижа О.Л., Зайцева Т. А., Сірик С. Ф., Лисиця Н. М. Розробка та дослідження роботи інформаційної системи «Склад-магазин комп'ютерної техніки» // The 5th International scientific and practical conference “Global science: prospects and innovations” (December 28-30, 2023) Cognum Publishing House, Liverpool, United Kingdom. 2023. – p.206-210.
  2. Білозьоров В.Є., Зайцев В.Г., Погорєлов О.В. Хижа О.Л. Використання методу нелінійного рекурентного аналізу до типізації даних часових рядів електроенцефа-лографії // Системні технології. Регіональний міжвузівський збірник наукових праць. - Випуск 2(145). – Дніпро, 2023. – С.82 –104. PDF

2024

  1. Зайцев В.Г., Хижа О.Л. Використання показників JRQA да-них ЕЕГ щодо ix типiзацii // ХVIII МНПК «Сучасні Інформаційні та комунікаційні технології на транспорті, в промисловості та освіті» УДУНТ, Дніпро, 2024, с. 114-115

2025

  1. Білозьоров В.Є., Зайцев В.Г., Погорєлов О.В., Хижа О.Л. Проблеми аналізу електроенцефалограм методами нелінійної динаміки // Системні технології. Регіон. міжвуз. збір. наук. праць. - Д.: - вип. 3 (158), 2025. - с. 3-9. PDF
  2. Levchenko Y., Khyzha O. PROVING SORTING ALGORITHMS IN THE DAFNY VERIFICATION SYSTEM // XXIII МНПК "Математичне та про грамне забезпечення Інтелектуальних систем", 2025, Дніпро: ДНУ ім. Олеся Гончара, с. 22-24.