He has a degree of doctor from University Toulouse 3 - Paul Sabatier (France) and candidate of physico-mathematical sciences from Taras Shevchenko National University of Kyiv (Ukraine). His research topics include the theory of programming, formal methods, mathematical systems theory, in particular, abstract dynamical models with partial behaviors, and formalization and proof of correctness of software and cyber-physical systems in proof assistants.