Аспиранты

  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) «Анализ производительности распределенных информационных систем»
    Официальные оппоненты: д.т.н., профессор Лисс А.Р., к.ф.-м.н. Бугайченко Д.Ю.

    Ведущая организация: Институт систем информатики им. А.П.Ершова СО РАН