Образование

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

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

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