Объединенный диссертационный совет Д 999.082.03 по защите докторских и кандидатских диссертаций (архив)

В четверг 11 ноября в 17.00 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:

1. Алины Владимировны Козыревой "Алгоритмы и программный инструментарий для позиционирования мобильных устройств на основе данных от встроенной фотокамеры".
   Научный руководитель: Фёдор Александрович Мурзин.
2. Сергея Борисовича Арыкова "Язык и система фрагментированного параллельного программирования задач численного моделирования".
   Научный руководитель: Виктор Эммануилович Малышкин.

Защиты диссертаций состоятся 17 декабря 2010 г.
Козыревой Алины Владимировны - в 14:30.
Арыкова Сергея Борисовича - в 15:30.

В четверг 29 апреля в 17.00 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:

1. Тарабухиной Надежды Константиновны "Методы извлечения бизнес-логики на основе семантических свойств программ".
   Научный руководитель: Бульонков Михаил Алексеевич.
2. Идрисова Рената Искандеровича "Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов".
   Научные руководители: Евстигнеев Владимир Анатольевич, Касьянов Виктор Николаевич.

Защиты диссертаций состоятся 16 июня 2010 г.
Тарабухиной Надежды Константиновны - в 14.30 час.
Идрисова Рената Искандеровича - в 15.30 час.

21 декабря 2009 г. в 16:00 на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. Акад. Лаврентьева, 6 состоялась защита диссертации Мигинского Дениса Сергеевича на соискание степени кандидата наук по специальности 05.13.11. Тема диссертации "Методы и средства реконструкции сетевых моделей сложных биологических систем".

Уважаемый Денис Сергеевич! Поздравляем вас с успешной защитой и желаем вам дальнейших успехов в научной деятельности!

Во вторник 10-го ноября состоялось очередное заседание диссертационного совета ИСИ СО РАН, на котором состоялось представление к защите диссертации Мигинского Дениса Сергеевича.

21 декабря 2009 г. в 16:00 на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертации Мигинского Дениса Сергеевича на соискание степени кандидата наук по специальности 05.13.11. Тема диссертации "Методы и средства реконструкции сетевых моделей сложных биологических систем".

Научные руководители:
д.б.н. Колчанов Н.А.
д.ф-м.н. Лаврентьев М.М.

Предлагаем ознакомиться с авторефератом диссертации.

В среду 29 апреля в 17.00 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:

1. Саломатиной Натальи Васильевны "Методы и программные средства выделения и численного оценивания вариативности языковых единиц".
   Научный руководитель к.т.н. В.Д. Гусев (ИМ СО РАН).
2. Стасенко Александра Павловича "Модели и реализация транслирующих компонентов системы функционального программирования".
   Научный руководитель д.ф.-м.н. Касьянов В.Н. (ИСИ СО РАН).

Защиты диссертаций состоятся 5 июня 2009 г.
Н.В. Саломатиной - в 15.00 час.
А.П. Стасенко - в 16.00 час.

25 декабря в Томском государственном университете состоялась защита кандидатской диссертации Крайневой Ирины Александровны по специальности 07.00.10 - история науки и техники. Тема диссертации "НАУЧНАЯ БИОГРАФИЯ АКАДЕМИКА А.П. ЕРШОВА". Поздравляем Ирину Александровну с успешной защитой и желаем дальнейших успехов в науке и труде.

12 декабря 2008 г. в 14:00 на заседании диссертационного совета K003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертации Быстрова Александра Васильевича на соискание степени кандидата наук по специальности 05.13.11. Тема диссертации "СПЕЦИФИКАЦИЯ И АНАЛИЗ РАСПРЕДЕЛЕННЫХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ, ПОДДЕРЖИВАЮЩИХ МОДЕЛИ СЕТЕЙ ПЕТРИ". Предлагаем ознакомиться с авторефератом диссертации.

8 ноября 2007 г. на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А.П. Ершова Сибирского отделения РАН состоялась защита диссертаций на соискание степени кандидата наук по специальности 05.13.11:

• Ершова Алексея Геннадьевича (тема диссертации "Алгоритмы и программные системы для геометрических задач параметрического проектирования");
• Сидорова Владимира Анатольевича (тема диссертации "Методы и средства программирования в ограничениях для систем автоматизации проектирования").

От всей души поздравляем молодых ученых с успешной защитой.

8 ноября 2007 г. на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А.П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертации Сидорова Владимира Анатольевича на соискание степени кандидата наук по специальности 05.13.11. Тема диссертации "Методы и средства программирования в ограничениях для систем автоматизации проектирования". Предлагаем ознакомиться с авторефератом диссертации.

8 ноября 2007 г. на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А.П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертации Ершова Алексея Геннадьевича на соискание степени кандидата наук по специальности 05.13.11. Тема диссертации "Алгоритмы и программные системы для геометрических задач параметрического проектирования". Предлагаем ознакомиться с авторефератом диссертации.

26 декабря 2006 г. в 15 ч 00 мин на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А. П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертаций на соискание степеней кандидатов наук по специальности 05.13.11. Предлагаем ознакомиться с авторефератами диссертаций:

• Черных Игорь Геннадиевич
  АЛГОРИТМИЧЕСКИЙ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ЧИСЛЕННОГО РЕШЕНИЯ ПРЯМЫХ ЗАДАЧ ХИМИЧЕСКОЙ КИНЕТИКИ С ИСПОЛЬЗОВАНИЕМ СУПЕР-ЭВМ
  Автореферат диссертации
• Касьянова Елена Викторовна
  АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДДЕРЖКИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ
  Автореферат диссертации
• Пономарев Денис Константинович
  СИНТАКСИЧЕСКАЯ ОДНОЗНАЧНОСТЬ ПРИ ПРЕДСТАВЛЕНИИ ЗНАНИЙ В ЛОГИКЕ ПЕРВОГО ПОРЯДКА
  Автореферат диссертации

15 декабря 2006 г. в 15 ч 00 мин на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А. П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертаций на соискание степеней кандидатов наук по специальности 05.13.11. Предлагаем ознакомиться с авторефератами диссертаций:

• Сидорова Елена Анатольевна
  МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ АНАЛИЗА ДОКУМЕНТОВ НА ОСНОВЕ МОДЕЛИ ПРЕДМЕТНОЙ ОБЛАСТИ
  Автореферат диссертации

10 ноября состоялось очередное заседание диссертационного совета, на котором были представлены к защите четыре диссертации:

1. Сидорова Елена Анатольевна
   МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ АНАЛИЗА ДОКУМЕНТОВ НА ОСНОВЕ МОДЕЛИ ПРЕДМЕТНОЙ ОБЛАСТИ
   Научн. рук. к.т.н. Загорулько Ю.А.
   Защита назначена на 15 декабря в 17.00.
2. Черных Игорь Геннадиевич
   АЛГОРИТМИЧЕСКИЙ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ЧИСЛЕННОГО РЕШЕНИЯ ПРЯМЫХ ЗАДАЧ ХИМИЧЕСКОЙ КИНЕТИКИ С ИСПОЛЬЗОВАНИЕМ СУПЕР-ЭВМ
   Научн. рук. д.ф.-м.н. Вшивков В.А.
   Защита назначена на 26 декабря в 15.00.
3. Касьянова Елена Викторовна
   АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДДЕРЖКИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ
   Научн. рук. д.ф.-м.н. Евстигнеев В.А.
   Защита назначена на 26 декабря в 16.00.
4. Пономарев Денис Константинович
   СИНТАКСИЧЕСКАЯ ОДНОЗНАЧНОСТЬ ПРИ ПРЕДСТАВЛЕНИИ ЗНАНИЙ В ЛОГИКЕ ПЕРВОГО ПОРЯДКА
   Научн. рук. д.ф.-м.н. Марчук А.Г.
   Защита назначена на 26 декабря в 17.00.

15 декабря 2006 г. в 15 ч 00 мин на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А. П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертаций на соискание степеней кандидатов наук по специальности 05.13.11. Предлагаем ознакомиться с авторефератами диссертаций:

• Валеев Тагир Фаридович
  АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ИССЛЕДОВАНИЯ ПРОЦЕССОВ ГЕННОЙ РЕГУЛЯЦИИ
  Автореферат диссертации
• Стасенко Александр Павлович
  МОДЕЛИ И РЕАЛИЗАЦИЯ ТРАНСЛИРУЮЩИХ КОМПОНЕНТОВ СИСТЕМЫ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ
  Автореферат диссертации

1 ноября состоялось очередное заседание диссертационного совета, на котором были представлены к защите две диссертации:

1. Валеев Тагир Фаридович
   АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ИССЛЕДОВАНИЯ ПРОЦЕССОВ ГЕННОЙ РЕГУЛЯЦИИ
   Научн. рук. к.ф.-м.н. Мурзин Ф.А., к.б.н. Кель А.Э.
2. Стасенко Александр Павлович
   МОДЕЛИ И РЕАЛИЗАЦИЯ ТРАНСЛИРУЮЩИХ КОМПОНЕНТОВ СИСТЕМЫ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ
   Научн. рук. д.ф.-м.н. Касьянов В.Н.

Защита диссертаций назначена на 15.00 и 16.00 15 декабря 2006 г.

23 июня 2006 г. в Институте систем информатики имени А.П. Ершова СО РАН состоялись защиты трех кандидатских диссертаций.

Черемушкин Евгений Сергеевич
"Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК".

Батура Татьяна Викторовна
"Машинно-ориентированные логические методы представления смысла текста на естественном языке".

Малюх Владимир Николаевич
"Методы организации функционального взаимодействия приложений в расширяемых графических САПР".

Все диссертации защищались на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Поздравляем соискателей с успешной защитой и желаем дальнейших успехов в науке и труде!

27 декабря состоялось заседание Диссертационного совета ИСИ СО РАН, посвященное защите кандидатской диссертации Д.Ф. Семича на тему "Алгоритмы и программное обеспечение интерпретации данных радиоактивного каротажа нефтяных скважин". Поздравляем Дмитрия Фёдоровича с успешной защитой!

Поздравляем Чурину Татьяну Геннадьевну с блестящей защитой 15 декабря 2000 г. кандидатской диссертации на тему "Моделирование и валидация коммуникационных протоколов, представленных на языках ESTELLE и SDL, с помощью сетей Петри высокого уровня".