Обучение

Научные руководители, приём 2022 г.

Пальянов Андрей Юрьевич

Пальянов Андрей Юрьевич

Д.ф.-м.н., директор Института систем информатики им. А.П. Ершова СО РАН

E-mail: palyanov@iis.nsk.su

Научные специальности:

1.2.1. Искусственный интеллект и машинное обучение

Методы и алгоритмы моделирования мыслительных процессов: рассуждений, аргументации, распознавания и классификации, формирования понятий. Исследования в области нейроморфных методов анализа данных, имитационное моделирование строения и функций мозга, в том числе – и с использованием методов машинного обучения. Нейроинформатика и методы моделирования биологических нервных систем.

Научные интересы: Вычислительная нейробиология, компьютерное моделирование когнитивных систем, биомеханика, кибернетика, высокопроизводительные параллельные вычисления

Перечень возможных тем:

Численные эксперименты по созданию искусственных организмов, обладающих зрением и способных взаимодействовать между собой в трехмерном виртуальном мире, тестирование и развитие их когнитивных способностей для различных архитектур и вычислительных мощностей "нервной системы".

Дополнительная информация

Перечень исследовательских проектов:
Грант РФФИ №18-07-00903-А «Компьютерное моделирование и валидация механизмов генерации периодических сигналов и управления мышцами тела в нервной системе C. elegans», 2018-2020 гг., руководитель А.Ю. Пальянов.

Награды, премии:
Почетная грамота мэрии г. Новосибирска «За плодотворную деятельность, большой вклад в развитие отечественной науки».

Личная страница: https://persons.iis.nsk.su/ru/palyanov


Ануреев Игорь Сергеевич

Ануреев Игорь Сергеевич

К.ф.-м.н., Старший научный сотрудник Лаборатории теоретического программирования 

E-mail: anureev@gmail.com

Научные специальности:

1.2.3. Теоретическая информатика, кибернетика

Теория автоматов, распределённые многопользовательские системы.

2.3.5. Математическое и программное обеспечение
вычислительных систем, комплексов и компьютерных сетей

 Модели, методы и алгоритмы проектирования, анализа, трансформации, верификации и тестирования программ и программных систем.
Языки программирования и системы программирования, семантика программ.
Модели, методы, архитектуры, алгоритмы, языки и программные инструменты организации взаимодействия программ и программных систем.
Интеллектуальные системы машинного обучения, управления базами данных и знаний, инструментальные средства разработки цифровых продуктов.

Научные интересы: Спецификация систем, верификация систем, проектирование и прототипирование систем, моделирование систем, управление системами, автоматическое доказательство, онтологии.

Перечень возможных тем:

1. Разработка методов и средств верификации C программ на основе онтологий.
2. Разработка методов и средств верификации C++ программ на основе онтологий.
3. Разработка методов и средств верификации C# программ на основе онтологий.
4. Возможна разработка методов и средств верификации программ на любом другом компьютерном языке (языке программирования, языке спецификации аппаратного обеспечения, скриптовом языке и т. д.), которым хорошо владеет аспирант.
5. Разработка методов и средств моделирования управляющих систем на основе онтологий.
6. Разработка методов и средств моделирования информационных систем на основе онтологий.


Батура Татьяна Викторовна

Батура Татьяна Викторовна

К.ф.-м.н., исполняющий обязанности заведующего лабораторией, Лаборатория моделирования сложных систем

E-mail: tatiana.v.batura@gmail.com

Научные специальности:

1.2.1. Искусственный интеллект и машинное обучение

Научные интересы: Автоматическая обработка текстов, извлечение информации, автореферирование, методы глубокого обучения, компьютерная лингвистика

Перечень возможных тем:

1. Методы и алгоритмы распознавания и связывания сущностей для построения систем автоматического извлечения информации из научных текстов.
2. Алгоритмы анализа и обработки неструктурированных и многомерных данных.
3. Перенос обучения языковых моделей в задаче извлечения информации из текстов.
4. Дистрибутивные семантические модели и их применение для извлечения информации из текстов на разных языках.

Дополнительная информация

Перечень исследовательских проектов:
Проект РНФ № 20-11-20166 «Автоматические методы построения и пополнения баз знаний на основе кросс-языковых технологий» (2020-2022, исполнитель).
Проект РФФИ № 19-07-01134 «Создание моделей, методов и программных средств анализа текстов на естественном языке для использования в интеллектуальных информационных системах» (2019-2021, руководитель).
Грант Министерства образования и науки Республики Казахстан № AP05133550 «Модели и методы семантического анализа и представления смысла текста в компьютерной лингвистике» (2018-2020, исполнитель).


Гаранина Наталья Олеговна

Гаранина Наталья Олеговна

К.ф.-м.н., старший научный сотрудник Лаборатории теоретического программирования

E-mail: garanina@iis.nsk.su

Научные специальности:

1.2.3. Теоретическая информатика, кибернетика

Научные интересы: Формальная верификация, Инженерия требований, Распределенные системы, Онтологии, Неклассические логики.

Формальная верификация: проверка моделей (model checking), символьная проверка моделей, инструмент проверки моделей SPIN, дедуктивная верификация, доказатель теорем Coq.
Инженерия требований: требования, основанные на формальных шаблонах.
Распределенные системы: мультиагентные системы, распределенные алгоритмы, системы автоматического управления.
Искусственный интеллект: онтологии, анализ формальных понятий, извлечение информации из текстов, обработка естественного языка, основанная на правилах (не машинное обучение).

Перечень возможных тем:

1. Применение методов верификации моделей для оптимального использования процессоров при параллельном программировании.
2. Использование онтологических методов в инженерии требований.
3. Использование онтологических методов в разработке программных систем.
4. Логика для циклических программных систем: алгоритмические проблемы, аксиоматика.

Дополнительная информация

Перечень исследовательских проектов:
10-11.2021, DAAD, № 91735805, “Подход к автонастройке параллельных программ методом проверки моделей” (руководитель).
2019/2020, РФФИ № 19-07-00762, «Методы и средства автоматизированного построения онтологий научных предметных областей на основе системы разнородных паттернов онтологического проектирования» (исполнитель).
2018/2020, РФФИ № 18-00-00889, «Разработка методов и компьютерных технологий для поддержки исследования риторических и коммуникативно-прагматических аспектов научно-популярного дискурса» (исполнитель).
2017-2019, РФФИ № 17-07-01600, «Методы извлечения формальных спецификаций программных систем из текстов технических заданий и их верификация» (руководитель): 40 публикаций, из них 13 в WoS и Scopus, 19 конференций и рабочих семинаров.


Городняя Лидия Васильевна

Городняя Лидия Васильевна

К.ф.-м.н., старший научный сотрудник Лаборатории информационных систем

E-mail: lidvas@gmail.com

Научные специальности:

2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей

Научные интересы: Систематизация компьютерных языков, методы обучения программированию, парадигмы программирования, функциональное программирования, учебные языки программирования, много-поточное программирование.
Исследование и разработка средств мета-программирования для отладки и оптимизации параллельных вычислений. Исследования в области создания и систематизации компьютерных языков, преимущественно нацеленных на представление взаимодействующих процессов и проявление феноменов параллелизма при организации параллельных вычислений в рамках системы подготовки молодых специалистов.  В этих работах особое внимание уделено исследованию и разработке новых учебных компьютерных языков, включая экспериментальные промежуточные, дополнительные и вспомогательные языки подготовки многопоточных программ и ознакомление с проблемами параллелизма.

Перечень возможных тем:

1. Исследование и разработка средств мета-программирования для отладки и оптимизации.
2. Измерение вклада программируемых решений в производительность программ. параллельных вычислений.

Дополнительная информация

Перечень исследовательских проектов:
РФФИ 18-07-01048 Исследование и разработка методик проявления, измерения и представления видимых и неявных характеристик программ, используя вывод формальных моделей отдельных свойств запрограммированных решений.
РФФИ 17-11-00042 Издание научного труда "Парадигмы программирования".
РФФИ 15-07-06345 Становление и развитие научных школ программирования в ведущих научных центрах СССР (рук. С.П.Прохоров).
РФФИ 08-01-00899-а Исследование и классификация парадигм компьютерных языков (рук. А.Г.Марчук).
РФФИ 05-07-90162 Создание банка типовых компонент для разработки экспериментальных систем функционального программирования.
РФФИ 02-07-90431 Конструирование и развитие информационных систем, поддерживающих исследование производительности многопроцессорных комплексов.
РГНФ 00-03-00277 «Исследование и изложение истории отечественной информатики как вклада в мировую науку» (соруководитель И.В.Поттосина).
РФФИ 99-07-90199 Анализ и интеграция информационных систем, направленных на фундаментальные исследования в области информатики.
НФПК (Национальный фонд переподготовки кадров) — проект по разработке школьного курса «Введение в функциональное программирование» и создание системы дистанционной системы введения в программирование на базе НГУ.


Мигинский Денис Сергеевич

Мигинский Денис Сергеевич

К.ф.-м.н., научный сотрудник Лаборатории моделирования сложных систем

E-mail: dmiginsky@gmail.com

Научные специальности:

1.2.1. Искусственный интеллект и машинное обучение


Сидорова Елена Анатольевна

Сидорова Елена Анатольевна

К.ф.-м.н., старший научный сотрудник Лаборатории искусственного интеллекта

E-mail: lena@iis.nsk.su

Научные специальности:

2.3.5. Математическое и программное обеспечение
вычислительных систем, комплексов и компьютерных сетей

Научные интересы: Компьютерная лингвистика, автоматическое извлечение информации из текстов, интеллектуальные системы, представление знаний, онтологическое моделирование, мультиагентные системы, анализ аргументации, оценка достоверности информации.

Перечень возможных тем:

1. Анализ аргументации в Веб.
2. Извлечение информации из текстов на основе семантических технологий.
3. Генерация лингвистических ресурсов (словарей, языковых моделей, датасетов).
4. Анализ достоверности информации, в том числе выявление фейков и фильтрация нежелательного контента.

Дополнительная информация

Перечень исследовательских проектов:
Ведущий разработчик (руководитель группы) в 3х грантах РФФИ.

РИДы, имеющие охранные документы (изобретения, полезные модели и т.д.):
Патенты и государственные регистрации
1.Свидетельство о гос. регистрации программы для ЭВМ № 2011618756 «Программная оболочка для построения порталов знаний, основанных на онтологиях».
2. Свидетельство о гос.регистрации программы для ЭВМ № 2012618190 «Система извлечения предметной лексики и создания терминологических словарей KLAN».
3. Свидетельство о гос.регистрации базы данных № 2014621148 «Русско-английский тезаурус по компьютерной лингвистике».
4. Свидетельство о гос.регистрации программы для ЭВМ № 2019613380 «Программный комплекс для извлечения предметной лексики и создания терминологических словарей KLAN v2».
5. Патент на полезную модель RU 159737 U1, 20.02.2016. «Устройство для классификации электронных документов».


Шелехов Владимир Иванович

Шелехов Владимир Иванович

К.т.н., старший научный сотрудник Лаборатории системного программирования

E-mail: vshel@iis.nsk.su

Научные специальности:

2.3.5. Математическое и программное обеспечение
вычислительных систем, комплексов и компьютерных сетей

Научные интересы: Системное программирование, трансформации программ, функциональное программирование, дедуктивная верификация, автоматное программирование, оптимизация и верификация программ обработки графов.

Перечень возможных тем:

1. Обратная трансляции с языка Си с устранением указателей на язык функционального программирования.
2. Оптимизация и дедуктивная верификация программ обработки графов на языке предикатного программирования.

Дополнительная информация

Личная страница: wasp.iis.nsk.su