Кандидат фізико-математичних наук, доктор Університету Тулузи, доцент кафедри програмних систем і технологій.
Вища освіта:
Київський національний університет імені Тараса Шевченка, інформатика.
Захищені дисертації:
- Кандидатська дисертація: «Investigation of abstract systems with inputs and outputs as partial functions of time» за спеціальністю 01.05.01 – «Теоретичні основи інформатики та кібернетики».
Досвід роботи:
- З 2014 р. Київський національний університет імені Тараса Шевченка, асистент, доцент.
Наукові праці:
Більше 70 наукових праць, серед яких 1 монографія, 2 навчальних підручника / посібника. Індекс Гірша в Scopus – 5.
Профілі:
Основні публікації:
1. Монографії, підручники, посібники
– Бичков О.С. Об’єктно-орієнтоване програмування мовою C# : підручник / О. Бичков, Є. Іванов – К. : ВПЦ “Київський університет”, 2018. – 204 с.
– Дорошенко А.Ю. Формальні методи специфікації програм : навч. посіб. / А. Дорошенко, К. Жереб, Є. Іванов та ін. – К. : ВПЦ “Київський університет”, 2018. – 367 с.
– Doroshenko A. Formal program development methods : a textbook / A. Doroshenko, I. Ivanov, M. Nikitchenko, O. Yatsenko, K. Zhereb. – Kyiv: Publishing house of Taras Shevchenko National University of Kyiv, 2021. – 207 p.
2. Публікації, що індексуються у Scopus або Web of Science
– I. Ivanov. On representations of abstract systems with partial inputs and outputs. Lecture Notes in Computer Science, vol. 8402, Springer, pp. 104-123, 2014. (переглянути)
– I. Ivanov. On local characterization of global timed bisimulation for abstract continuous-time systems. Lecture Notes in Computer Science, vol. 9608, Springer, pp. 216-234. 2016. (переглянути)
– I. Ivanov. On the underapproximation of reach sets of abstract continuous-time systems. Electronic Proceedings in Theoretical Computer Science, vol. 247, pp. 46-51, 2017. (переглянути)
– I. Ivanov. On induction for diamond-free directed complete partial orders. CEUR-WS.org, vol. 2732, pp. 70-73, 2020. (переглянути)
– I. Ivanov. On induction principles for diamond-free partial orders. Communications in Computer and Information Science, vol. 1308, Springer, pp. 166-190, 2021. (переглянути)
Наукові інтереси:
Теорія систем, семантика мов програмування, формальні методи.
Наукова та міжнародна діяльність:
- Член науково-технічної ради факультету інформаційних технологій Київського національного університету імені Тараса Шевченка.
- Проводив наукові дослідження у співпраці із співробітниками наукових установ ЄС.
Нагороди: Двічі лауреат премії імені Тараса Шевченка иївського національного університету імені Тараса Шевченка.