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