|Degree:||Doctor of Physical and Mathematical Sciences|
|Title:||Professor, Academician of National Academy of Sciences of Ukraine|
|Research interests:||applied theory of algorithms, theoretical programming, theory of automata and languages, algebraic and logical programming, parallel calculations, symbolic and algebraic calculations|
State Prize Winner of Ukraine (1993, 2003)
Winner of the USSR State Prize (1968)
Winner of the Glushkov Prize (1985).
AO Dorodnitsyn Academy of Sciences Award (2010)
Автор понад 200 наукових праць, з яких — 10 монографій, зокрема: