1.Тобиас Фишер (1986 г.)
Разработка технологии программирования на основе специализированных языков, базирующихся на языке Алгол 68
Официальные оппоненты: д. ф.-м. н. Слисенко А. О., к. ф.-м. н. Чернюгов В. В.
Ведущая организация: ВЦ СО АН СССР

2. Н.Ф. Фоминых (1987 г.)
Интерпретатор автокода МВК «Эльбрус» для ЕС ЭВМ
Официальные оппоненты: д. ф.-м. н., профессор Морозов В. П., к. ф.-м. н. Сурин С. С.
Ведущая организация: Институт точной механики и вычислительной техники АН СССР

3. Н.Н. Дацун (1987)
Инструментальные средства автоматизации проектирования вычислительных устройств на базе микропроцессорных наборов
Официальные оппоненты: д. т. н. Морозов В.П., к. т. н. Котляров В. П.
Ведущая организация: НИИ ЭВМ г. Минск

4. А.П. Попов (1987) «Методы реализации языка Ада»
Официальные оппоненты: д. т. н., профессор Красилов А. А., к. ф.-м. н., доцент Мартыненко Б. К.
Ведущая организация: ВЦ АН СССР

5. А.П. Рухлин (24.05.1991) «Система программ динамической поддержки для транслятора с Алгола 68»
Официальные оппоненты: д. ф.-м. н. Касьянов В. Н., к. ф.-м. н. Гололобов В. И.
Ведущая организация: ВЦ АН СССР

6. А.А. Бульонкова (1993) «Управление данными во встроенных системах»
Официальные оппоненты: д. ф.-м. н. Касьянов В. Н., к. ф.-м. н. Скопин И. Н.
Ведущая организация: Новосибирский институт программных систем

7. В.В. Парфенов (1995) «Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода»
Официальные оппоненты: д.т. н., профессор Берлин А. Н., к. т. н., доцент Котляров В. П.
Ведущая организация: Институт систем информатики СО РАН (г. Новосибирск)

8. Ю.К. Лаврова (1995) «Методика разработки кодогенерирующей части трансляторов на примере семейства трансляторов с Алгола 68»
Официальные оппоненты: д. т. н., профессор Осовецкий Л. Г., к. т. н. Вдовкин С. В.
Ведущая организация: Институт систем информатики СО РАН (г. Новосибирск)

Кандидатские диссертации, защищенные под руководством А.Н.Терехова на кафедре СП

 

1. Д.В. Кознов (07.12.99) «Визуальное проектирование компонентного ПО»
Официальные оппоненты: д. ф.-м. н., профессор Поттосин И.В., к. ф.-м. н., профессор Котляров В.С.
Ведущая организация: Санкт-Петербургский государственный университет аэрокосмического приборостроения

2. Л.А. Эрлих (18.10.02) «Технология реинжиниринга и компонентизации  устаревших   программных  комплексов»
Официальные оппоненты: д. ф.-м. н. Нестеров В. М., к. т. н., профессор Штурц И. В.
Ведущая организация: Институт систем информатики СО РАН (г. Новосибирск) 

3. Д.Ю. Булычев (07.09.04) «Прототипирование встроенных систем на основе описания макроархитектуры»
Официальные оппоненты: д.ф.-м.н., профессор Марчук А.Г, к.т.н. Иванов Владимир Николаевич
Ведущая организация: Институт системного программирования РАН

4. А.Н. Иванов (27.04.05) «Автоматизированная генерация информационных систем, ориентированных на данные»
Официальные оппоненты: д.т.н. Лисс А.Р., к.т.н. Ицыксон В.М.
Ведущая организация: Институт систем информатики им. А.П. Ершова Сибирского Отделения РАН

5. М.А. Мосиенко (07.03.06) «Автоматизированный перевод устаревших приложений на новые языки и платформы»
Официальные оппоненты: д.ф.-м.н. Касьянов В.Н., к.ф.-м.н. Кураленок И.Е.
Ведущая организация: Санкт-Петербургский государственный политехнический университет

6. В.В. Соколов (12.02.07) «Совместное использование MSC и SDL модулей при разработке событийно-ориентированных систем»
Официальные оппоненты: д.т.н. Гольдштейн Б.С., к.ф.-м.н. Костин В.А.
Ведущая организация: Институт системного программирования РАН

7. Л.Б. Ольхович (10.06.08) Распараллеливание дирижирующих бизнес-процессов
Официальные оппоненты: д.т.н. Тимофеев А.В., к.т.н. Рощин М.А.
Ведущая организация: Санкт-Петербургский государственный политехнический университет

8. Е.С. Рачинский (03.12.09) «Анализ производительности распределенных информационных систем»
Официальные оппоненты: д.т.н., профессор Лисс А.Р., к.ф.-м.н. Бугайченко Д.Ю.
Ведущая организация: Институт систем информатики им. А.П.Ершова СО РАН