Объединенный диссертационный совет Д 999.082.03 по защите докторских и кандидатских диссертаций (архив)
по научным специальностям
05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» (физико-математические науки)
05.13.17 – «Теоретические основы информатики» (физико-математические науки)
на базе
Федерального государственного бюджетного учреждения науки Института систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук (ИСИ СО РАН),
Федерального государственного бюджетного учреждения науки Института математики им. С.Л. Соболева Сибирского отделения Российской академии наук (ИМ СО РАН),
Федерального государственного бюджетного учреждения науки Института вычислительной математики и математической геофизики Сибирского отделения Российской академии наук (ИВМиМГ СО РАН)
Архив новостей диссертационного совета
В четверг 11 ноября в 17.00 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:
- Алины Владимировны Козыревой "Алгоритмы и программный инструментарий для позиционирования мобильных устройств на основе данных от встроенной фотокамеры".
Научный руководитель: Фёдор Александрович Мурзин. - Сергея Борисовича Арыкова "Язык и система фрагментированного параллельного программирования задач численного моделирования".
Научный руководитель: Виктор Эммануилович Малышкин.
Защиты диссертаций состоятся 17 декабря 2010 г.
Козыревой Алины Владимировны - в 14:30.
Арыкова Сергея Борисовича - в 15:30.
В четверг 29 апреля в 17.00 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:
- Тарабухиной Надежды Константиновны "Методы извлечения бизнес-логики на основе семантических свойств программ".
Научный руководитель: Бульонков Михаил Алексеевич. - Идрисова Рената Искандеровича "Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов".
Научные руководители: Евстигнеев Владимир Анатольевич, Касьянов Виктор Николаевич.
Защиты диссертаций состоятся 16 июня 2010 г.
Тарабухиной Надежды Константиновны - в 14.30 час.
Идрисова Рената Искандеровича - в 15.30 час.
![](/files/styles/news/public/news/image/nl_20091221_miginsky.jpg?itok=uZF18SEB)
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 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:
- Саломатиной Натальи Васильевны "Методы и программные средства выделения и численного оценивания вариативности языковых единиц".
Научный руководитель к.т.н. В.Д. Гусев (ИМ СО РАН). - Стасенко Александра Павловича "Модели и реализация транслирующих компонентов системы функционального программирования".
Научный руководитель д.ф.-м.н. Касьянов В.Н. (ИСИ СО РАН).
Защиты диссертаций состоятся 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 ноября состоялось очередное заседание диссертационного совета, на котором были представлены к защите четыре диссертации:
- Сидорова Елена Анатольевна
МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ АНАЛИЗА ДОКУМЕНТОВ НА ОСНОВЕ МОДЕЛИ ПРЕДМЕТНОЙ ОБЛАСТИ
Научн. рук. к.т.н. Загорулько Ю.А.
Защита назначена на 15 декабря в 17.00. - Черных Игорь Геннадиевич
АЛГОРИТМИЧЕСКИЙ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ЧИСЛЕННОГО РЕШЕНИЯ ПРЯМЫХ ЗАДАЧ ХИМИЧЕСКОЙ КИНЕТИКИ С ИСПОЛЬЗОВАНИЕМ СУПЕР-ЭВМ
Научн. рук. д.ф.-м.н. Вшивков В.А.
Защита назначена на 26 декабря в 15.00. - Касьянова Елена Викторовна
АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДДЕРЖКИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ
Научн. рук. д.ф.-м.н. Евстигнеев В.А.
Защита назначена на 26 декабря в 16.00. - Пономарев Денис Константинович
СИНТАКСИЧЕСКАЯ ОДНОЗНАЧНОСТЬ ПРИ ПРЕДСТАВЛЕНИИ ЗНАНИЙ В ЛОГИКЕ ПЕРВОГО ПОРЯДКА
Научн. рук. д.ф.-м.н. Марчук А.Г.
Защита назначена на 26 декабря в 17.00.
15 декабря 2006 г. в 15 ч 00 мин на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А. П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертаций на соискание степеней кандидатов наук по специальности 05.13.11. Предлагаем ознакомиться с авторефератами диссертаций:
- Валеев Тагир Фаридович
АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ИССЛЕДОВАНИЯ ПРОЦЕССОВ ГЕННОЙ РЕГУЛЯЦИИ
Автореферат диссертации - Стасенко Александр Павлович
МОДЕЛИ И РЕАЛИЗАЦИЯ ТРАНСЛИРУЮЩИХ КОМПОНЕНТОВ СИСТЕМЫ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ
Автореферат диссертации
1 ноября состоялось очередное заседание диссертационного совета, на котором были представлены к защите две диссертации:
- Валеев Тагир Фаридович
АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ИССЛЕДОВАНИЯ ПРОЦЕССОВ ГЕННОЙ РЕГУЛЯЦИИ
Научн. рук. к.ф.-м.н. Мурзин Ф.А., к.б.н. Кель А.Э. - Стасенко Александр Павлович
МОДЕЛИ И РЕАЛИЗАЦИЯ ТРАНСЛИРУЮЩИХ КОМПОНЕНТОВ СИСТЕМЫ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ
Научн. рук. д.ф.-м.н. Касьянов В.Н.
Защита диссертаций назначена на 15.00 и 16.00 15 декабря 2006 г.
![Малюх Владимир Николаевич Малюх Владимир Николаевич](/files/styles/news/public/news/image/ph_20060623_maluch.jpg?itok=uILfsQSx)
23 июня 2006 г. в Институте систем информатики имени А.П. Ершова СО РАН состоялись защиты трех кандидатских диссертаций.
Черемушкин Евгений Сергеевич
"Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК".
Батура Татьяна Викторовна
"Машинно-ориентированные логические методы представления смысла текста на естественном языке".
Малюх Владимир Николаевич
"Методы организации функционального взаимодействия приложений в расширяемых графических САПР".
Все диссертации защищались на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Поздравляем соискателей с успешной защитой и желаем дальнейших успехов в науке и труде!
27 декабря состоялось заседание Диссертационного совета ИСИ СО РАН, посвященное защите кандидатской диссертации Д.Ф. Семича на тему "Алгоритмы и программное обеспечение интерпретации данных радиоактивного каротажа нефтяных скважин". Поздравляем Дмитрия Фёдоровича с успешной защитой!
![](/files/styles/news/public/news/image/chur.jpg?itok=vm27g9NW)
Поздравляем Чурину Татьяну Геннадьевну с блестящей защитой 15 декабря 2000 г. кандидатской диссертации на тему "Моделирование и валидация коммуникационных протоколов, представленных на языках ESTELLE и SDL, с помощью сетей Петри высокого уровня".