Кандидат фізико-математичних наук, доктор Університету Тулузи, доцент кафедри програмних систем і технологій.
Вища освіта:
Київський національний університет імені Тараса Шевченка, інформатика.
Захищені дисертації:
- Кандидатська дисертація: «Investigation of abstract systems with inputs and outputs as partial functions of time» за спеціальністю 01.05.01 – «Теоретичні основи інформатики та кібернетики».
Досвід роботи:
- З 2014 р. Київський національний університет імені Тараса Шевченка, асистент, доцент.
Наукові праці:
Більше 70 наукових праць, серед яких 1 монографія, 2 навчальних підручника / посібника. Індекс Гірша в Scopus – 5.
Наукові інтереси:
Теорія систем, семантика мов програмування, формальні методи.
Наукова та міжнародна діяльність:
- Член науково-технічної ради факультету інформаційних технологій Київського національного університету імені Тараса Шевченка.
- Проводив наукові дослідження у співпраці із співробітниками наукових установ ЄС.
Нагороди: Двічі лауреат премії імені Тараса Шевченка иївського національного університету імені Тараса Шевченка.