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

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

Чтобы познакомить коллег из ИМ и ИВМиМГ с содержанием работы, в понедельник 11 июля в 14:00 в онлайн-режиме пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ. Приглашаем всех желающих.

Запись трансляции семинара доступна на канале ИСИ СО РАН в Youtube.

Поздравляем Дмитрия Александрович Мордвинова с получением диплома кандидата физико-математических наук! Защита кандидатской диссертации Д.А. Мордвинова проходила в Диссертационном совете ИСИ СО РАН.

25 марта в ИСИ СО РАН на заседании объединенного диссертационного совета Д 999.082.03 состоялась успешная защита диссертации Дмитрия Александровича Мордвинова «Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна» на соискание ученой степени кандидата физико-математических наук.

Сердечно поздравляем Дмитрия Александровича с успешной защитой!

Предлагаем вашему вниманию видеозапись защиты.

В четверг 25 марта 2021 г. в 15:00 состоится заседание диссертационного совета Д 999.082.03, где будет рассмотрена диссертация Дмитрия Александровича Мордвинова "Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями" на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Заседание проводится в очно-заочном формате в Zoom. Также будет осуществляться трансляция на канале ИСИ СО РАН в Youtube. Зрители канала могут задавать вопросы в чате.

Приказом Минобрнауки России от 01.02.2021 г. № 38 принято решение о выдаче Аркашову Николаю Сергеевичу диплома доктора физико-математических наук. Защита докторской диссертации Н.С. Аркашова проходила в Диссертационном совете ИСИ СО РАН.

Сердечно поздравляем Николая Сергеевича и желаем дальнейших научных достижений.

Приказом №2 ИСИ СО РАН исполнение обязанностей ученого секретаря диссертационного совета Д 999 082 03 на период 11.01.202I - 11.05.2021 г. возлагается на члена совета д-ра физ.-мат. наук Селиванова В.Л..

23 сентября 2020 года в 15.00 состоится заседание объединенного диссертационного совета Д 999.082.03.

Повестка дня:

1. Защита диссертации Аркашова Николая Сергеевича «Анализ структурных данных аномальных процессов переноса» на соискание ученой степени доктора физико-математических наук по специальности 05.13.17 – Теоретические основы информатики.
2. Прием к предварительному рассмотрению диссертации Мордвинова Дмитрия Александровича «Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Заседание совета будет проходить в дистанционном режиме. Желающие принять участие в работе совета в интерактивном режиме, могут направлять сканы заявлений в адрес совета: lora@iis.nsk.su.

Трансляция заседания совета будет организована на Youtube-канале ИСИ СО РАН. Онлайн-зрители смогут задавать вопросы в чате трансляции.

Заседание Объединенного диссертационного совета Д 999 082 03 по защите диссертации Аркашова Николая Сергеевича "Анализ структурных данных аномальных процессов переноса" на соискание ученой степени доктора физико-математических наук, назначенное на 23 сентября 2020 года, будет проводиться в дистанционном режиме согласно Приказу №26 ИСИ СО РАН.

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

Защита диссертации Аркашова Николая Сергеевича на соискание ученой степени доктора физико-математических наук переносится на 23.09.2020, 15.00 в связи с Приказом №13 от 12.05.2020 директора ИСИ СО РАН А.Ю. Пальянова о переносе заседания Объединенного диссертационного совета Д 999.082.03 на 23.09.2020.

Защита диссертации Аркашова Николая Сергеевича на соискание ученой степени доктора физико-математических наук переносится на 19.05.2020, 15.00 в связи с Приказом №10 директора ИСИ СО РАН А.Ю. Пальянова о переносе заседания Объединенного диссертационного совета Д 999.082.03 на 19.05.2020.

07.04.2020 г. в 15:00 в Объединенном диссертационном совете Д 999.082.03 по защите докторских и кандидатских диссертаций состоится защита диссертации Аркашова Николая Сергеевича на соискание ученой степени доктора физико-математических наук по специальности 05.13.17 – Теоретические основы информатики.

Тема диссертации - "Анализ структурных данных аномальных процессов переноса".

На заседании 08.11.2017 года по результатам тайного голосования диссертационный совет в количестве 18 человек, из них 9 докторов наук по специальности 05.13.17 – Теоретические основы информатики, проголосовали за – 18, против – нет, недействительных бюллетеней – нет, принято решение присудить Шаталину Е.В. ученую степень кандидата физико-математических наук.

8 ноября 2017 г. на заседании диссертационного совета Д 999.082.03 состоится защита диссертации на соискание ученой степени кандидата физико-математических наук Шаталиным Евгением Викторовичем на тему: «Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных».

Защита состоится по адресу: 630090, г. Новосибирск, проспект Академика Лаврентьева, 6, комн. 254 в 15.00.
С диссертацией можно ознакомиться в библиотеке и на сайте ИСИ СО РАН.

8 ноября 2017 г. в 15.00 на заседании диссертационного совета Д 999.082.03 на базе Федерального государственного бюджетного учреждения науки Института систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук (ИСИ СО РАН) состоится защита диссертации Шаталина Евгения Викторовича на соискание ученой степени кандидата физико-математических наук по специальности 05.13.17 — Теоретические основы информатики. Тема диссертации: Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных.

Защита диссертации состоится по адресу: 630090, г. Новосибирск, проспект Академика Лаврентьева, 6, комн. 245.

24 июня подписан приказ Минобрнауки России о выдаче разрешения на создание объединенного совета Д 999.082.03 по защите диссертаций на соискание ученой степени кандидата наук, на соискание ученой степени доктора наук на базе Института систем информатики им. А.П. Ершова СО РАН, Института математики им. С.Л. Соболева Сибирского отделения Российской академии наук (ИМ СО РАН), Института вычислительной математики и математической геофизики Сибирского отделения Российской академии наук

Приглашаем заслушать представления диссертационных работ аспирантов 3 курса в 2016 г.:

23 июня, семинар "Системное программирование"
(рук. А.Г. Марчук, М.А. Бульонков), каб. 254, в 11.00

1. С.И. Никитин (научный руководитель Е.С. Черёмушкин)
   Тема: Разработки программной системы поиска области связывания с группами транскрипционных факторов на ДНК.
2. В.В. Парфиненко (научный руководитель М.А. Бульонков)
   Тема: Применение межпроцедурного анализа указателей и синонимов для оптимизации многопоточных программ.

28 июня, семинар "Конструирование и оптимизация программ", каб. 254, в 14.30

1. Т.А. Золотухин (научный руководитель В.Н. Касьянов)
   Тема: Методы и средства интерактивной визуализации структурированной информации.

28.10.2014, во вторник, в 16.00 в к. 254 (семинарская комната) ИСИ СО РАН состоится семинар.

Докладчик:
Кудряшова Екатерина Сергеевна (Комсомольский-на-Амуре государственный технический университет)

Тема:
Модели параллельных систем и их применение для трассировки и расчета времени выполнения параллельных вычислительных процессов (кандидатская диссертация)

Ведущая организация: ИСИ СО РАН.

14 мая 2012 г. на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. акад. Лаврентьева, 6 состоялась защита диссертации Марьясова Ильи Владимировича «Верификация С-программ с помощью смешанной аксиоматической семантики на соискание степени кандидата наук по специальности 05.13.11.

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

В пятницу 6 апреля в ИСИ СО РАН состоялось очередное заседание диссертационного совета. К защите были представлены две кандидатские диссертации.

1. Марьясова Ильи Владимировича
«Верификация С-программ с помощью смешанной аксиоматической семантики».
Руководитель: В.А. Непомнящий.

2. Чиркунова Кирилла Сергеевича
«Мультиагентный подход и  моделирование  поведения взаимодействующих иерархических систем экономической природы».
Руководители: Т.Н. Есикова, Ф.А. Мурзин

Защиты назначены на 14 мая
15:00 - К.С. Чиркунов,
16:00 - И.В. Марьясов.

28 декабря 2011 г. на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. Акад. Лаврентьева, 6 состоялись защиты диссертаций Михеевой Анны Владленовны «Программно-аналитический инструментарий подготовки и анализа сейсмологических данных в информационно-вычислительном комплексе EEDB» и Турсунбай кызы Ырысгули «Локальные и динамические алгоритмы для анализа граф-моделей систем» на соискание степени кандидата наук по специальности 05.13.11.

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

26 декабря 2011 г. на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. Акад. Лаврентьева, 6 состоялись защиты диссертаций Старолетова Сергея Михайловича «Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей» и Макошенко Дениса Валентиновича «Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации» на соискание степени кандидата наук по специальности 05.13.11.

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

Во вторник 15-го ноября в 17:00 в ИСИ СО РАН в кабинете А.Г. Марчука состоялось заседание диссертационного совета ДМ 003.032.01.

К защите  были представлены 4 диссертации на соискание ученой степени к.ф.-м.н.:

1. Старолетова Сергея Михайловича «Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей».
   Научный руководитель: к.ф.-м.н. Крючкова Елена Николаевна.
2. Макошенко Дениса Валентиновича «Аналитическое  предсказание времени исполнения программ и основанные на нем методы оптимизации».
   Научный руководитель: д.ф.-м.н. Штейнберг Борис Яковлевич.
3. Михеевой Анны Владленовны «Программно-аналитический инструментарий подготовки и анализа сейсмологических данных в информационно-вычислительном комплексе EEDB».
   Научный руководитель: к.г.-м.н. Дядьков Петр Георгиевич.
4. Турсунбай кызы Ырысгули «Локальные и динамические алгоритмы для анализа граф-моделей систем».
   Научные руководители: д.ф.-м.н. Евстигнеев Владимир Анатольевич, д.ф.-м.н. Касьянов Виктор Николаевич.

Принято решение, что защиты состоятся:

26 декабря
15:00 - Старолетов Сергей Михайлович
16:00 - Макошенко Денис Валентинович

28 декабря
15:00 - Михеева Анна Владленовна
16:00 - Турсунбай кызы Ырысгуль

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

В пятницу 13 мая в 16:00 в ИСИ СО РАН состоялось заседание диссертационного совета. Была представлена к защите диссертация на соискание ученой степени к.ф.-м.н. Антона  Сергеевича Епрева "Исследование влияния разрешения лексической многозначности с помощью контекстных векторов на эффективность категоризации текстовых документов".

Научный руководитель: д.ф.-м.н., зав. кафедрой информационной безопасности ОмГУ им. Ф.М. Достоевского Сергей Викторович Белим.

Защита диссертации А.С. Епрева состоится 22 июня 2011 г. в 16:00.