Candidate of Physical and Mathematical Sciences, Doctor of the University of Toulouse (France), Associate Professor of the Department of Software Systems and Technologies.
Education higher
Taras Shevchenko National University Of Kyiv
Defended dissertations
Candidate: "Investigation of abstract systems with inputs and outputs as partial functions of time" (01.05.01 — Theoretical Foundations of Informatics and Cybernetics).
Work experience
Since 2014 — Taras Shevchenko National University of Kyiv (assistant, associate professor).
Theses
More than 70 scientific works, including 1 monograph, 2 textbooks / manuals. The Hirsch index in Scopus is 5.
Research interests
Systems theory, semantics of programming languages, formal methods.
Basic monographs, textbooks, manuals
- Bychkov O.S., Ivanov Ye. Object-oriented programming in C#: a textbook. K.: VOC "Kyiv University", 2018. 204 p.
- Doroshenko A.Yu., Zhereb K., Ivanov E. et al. Formal methods of program specification: a tutorial. K.: VOC "Kyiv University", 2018. 367 p.
- Doroshenko A., Ivanov I., Nikitchenko M., Yatsenko O., Zhereb K. Formal program development methods: a textbook. Kyiv: Taras Shevchenko National University of Kyiv.
Selected publications in 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 full 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.
Scientific and international activities
- Member of the Scientific and Technical Council of the Faculty of Information Technologies of Taras Shevchenko National University of Kyiv.
- Conducted scientific research in cooperation with employees of scientific institutions of the EU.
Rewards
Twice winner of the Taras Shevchenko Prize of the Taras Shevchenko National University of Kyiv.