Yushchenko was the founder of the first Soviet School of Theoretical Programming. During the 1970s–1980s, theoretical programming became a subject of research of its own. One of the major achievements of the School at that time was the creation of algebraic grammar methods for software synthesis.
