 |
Пальянов Андрей Юрьевич |
Д.ф.-м.н., директор Института систем информатики им. А.П. Ершова СО РАН |
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 |
|
|