Образование

1971 г. --
окончил механико-математический факультет Новосибирского государственного университета по специальности математика, защитив дипломную работу ``Коммутационные схемы для вычислительных систем'', диплом Щ № 892560.

1976 г. --
защитил диссертацию ``Комбинаторные задачи анализа программ в оптимизирующей трансляции'' на соискание ученой степени кандидита физико-математических наук в Совете секции кибернетики Объединенного Ученого совета по физико-математическим и техническим наукам СО АН СССР, степень присуждена решением Высшей аттестационной комиссии при Министерстве высшего и среднего специального образования СССР от 21 апреля 1976, диплом ФМ № 001137.

1988 г. --
защитил диссертацию ``Эквивалентные и оптимизирующие преобразования крупноблочных схем и программ'' на соискание ученой степени доктора физико-математических наук в Специализированном совете Д.002.10.02 при Вычислительном центре СО АН СССР, степень присуждена решением Высшей аттестационной комиссии при Совете Министров СССР от 24 марта 1989, диплом ФМ № 004690.