Ievgen Ivanov

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.

Comments are closed.