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