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