text: Под руководством академика Виктора Глушкова в 1963 году защитил кандидатскую диссертацию на тему «Некоторые вопросы теории конечных автоматов», а в 1971 году — докторскую диссертацию «Эквивалентность автоматов и дискретных преобразователей».