Candidate of physico-mathematical sciences, doctor (France), assistant of the Department of Software Systems and Technologies
Higher Education:
Taras Shevchenko State University of Kyiv, informatics.
Defended Thesis:
- PhD: 01.05.01 – theoretical foundations of informatics and cybernetics,
“Investigation of abstract systems with inputs and outputs as partial functions of time”.
Work experience:
- 2014 – present. Taras Shevchenko National University of Kyiv, assistant, associate professor.
Scientific papers:
More than 70 scientific works, including 1 monograph, 2 textbooks. The Hirsch Index in Scopus – 5.
Profiles:
Main publications:
1. Monographs, textbooks, tutorials
– Bychkov О.S. Object-oriented programming in C#: a textbook / O. Bychkov, I. Ivanov – Kyiv: Publishing house of Taras Shevchenko National University of Kyiv, 2018. – 204 p. (in Ukrainian)
– Doroshenko A.Yu. Formal program specification methods / A. Doroshenko, K. Zhereb, I. Ivanov and others – Kyiv: Publishing house of Taras Shevchenko National University of Kyiv, 2018 – 367 p. (in Ukrainian)
– 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. Publications indexed by Scopus or 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. (переглянути)
Scientific interests:
Systems’ theory, the semantics of programming languages, formal methods.
Scientific and International activity:
- Member of the scientific and technical board of the faculty.
- Performed scientific research in cooperation with researchers from EU scientific institutions.
Awards:
- Taras Shevchenko Award of Taras Shevchenko National University of Kyiv.