20 лютого 2024 року старший викладач кафедри Інженерії програмного забезпечення, Залива Віталій Вікторович, під керівництвом директора Навчально-наукового інституту інформаційних технологій доктора технічних наук, професора Бондарчука А.П., успішно захистив дисертацію на здобуття ступеня доктора філософії (PhD) на тему "Методика підвищення надійності веб-компонентів на базі методу Isabelle/HOL"

Віталій Вікторович висвітлив здобуті наукові результати, чітко і повно відповів на всі запитання членів разової спеціалізованої ради та присутніх на захисті, показавши високий рівень знань та збільшивши кількість молодих вчених кафедри Інженерії програмного забезпечення.

Успішний захист демонструє високий рівень підготовки науково-педагогічних працівників кафедри та розвиток науково-дослідної роботи, що є досягненням у розвитку наукового потенціалу всього Університету.

Весь колектив кафедри ІПЗ щиро вітає його з цим важливим досягненням та бажає подальших успіхів у науковій та професійній діяльності, адже кожне досягнення наших викладачів є приводом для гордості нашої кафедри!