НИЦ 2. «Технологии программирования и искусственного интеллекта» НИУ ИТМО

НИЦ 2. «Технологии программирования и искусственного интеллекта»

Цели и задачи

Деятельность НИЦ «Технологии программирования и искусственного интеллекта»» будет способствовать развитию научных исследований и повышению качества подготовки кадров в области передовых технологий программирования, информационных технологий, систем искусственного интеллекта. 

Основными направлениями исследований НИЦ являются следующие:

  • Автоматное программирование;
  • Технология генетического программирования для построения автоматов управления системами со сложным поведением;
  • Технология верификации автоматных программ;
  • Разработка методов машинного обучения на основе генетических алгоритмов для построения автоматов управления системами со сложным поведением;
  • Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования.

Руководитель

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

Тел: 233-42-98
E-mail: parfenov@mail.ifmo.ru

 

Перспективы развития

Деятельность НИЦ «Технологии программирования и искусственного интеллекта» будет способствовать развитию научных исследований и повышению качества подготовки кадров в области передовых технологий программирования, информационных технологий, систем искусственного интеллекта.
 

Текущие разработки

В 2009 году НИЦ как победитель конкурсов получил право заключить госконтракты на выполнение следующих работ:

  • НИР «Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами» (Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., в рамках реализации мероприятия № 1.3.1 Проведение научных исследований молодыми учеными - кандидатами наук);
  • НИР «Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов» (Федеральная целевая программ «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., в рамках реализации мероприятия № 1.3.2 Проведение научных исследований целевыми аспирантами);
  • НИР «Применение методов искусственного интеллекта в разработке управляющих программных систем» (Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., в рамках реализации мероприятия № 1.2.1 Проведение научных исследований научными группами под руководством докторов наук);
  • НИР «Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования» (Федеральная целевая программ «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., в рамках реализации мероприятия № 1.2.2 Проведение научных исследований научными группами под руководством кандидатов наук);


Ранее в рамках федеральных целевых программ и грантов РФФИ коллективом НИЦ были выполнены работы:

  • В 2000–2007 гг. в рамках программы фундаментальных исследований Министерства образования и науки Российской Федерации была выполнена научно-исследовательская работа по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода».
  • В 2002–2003 гг. были выполнены работы по гранту РФФИ для проведения исследования по теме «Разработка технологии автоматного программирования», а в 2005–2006 гг. – по теме «Разработка технологии объектно-ориентированного программирования с явным выделением состояний».
  • В 2005–2006 гг. были выполнены работы по государственному контракту «Технология автоматного программирования: применение и инструментальные средства», который победил в конкурсе проектов, проводимом Федеральным агентством по науке и инновациям в рамках Федеральной целевой научно-технической программы «Исследования и разработки по приоритетным направлениям развития науки и техники» на 2002–2006 годы по приоритетному направлению «Информационно-телекоммуникационные системы и электроника». Проект был отобран в числе 15 наиболее инновационно-перспективных и социально-значимых проектов, выполняемых по указанной программе.
  • В 2007–2008 гг. были выполнены работы по государственным контрактам «Технология генетического программирования для генерации автоматов управления системами со сложным поведением» и «Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода», выполняемым в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007–2012 годы» по приоритетному направлению «Информационно-телекоммуникационные системы».

Планируемые разработки/направления деятельности:

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

Реализованные проекты

  • Коммуникатор, способный работать в сетях GSM и Mobile WiMAX, – HTC MAX 4G
    (http://www.yota.ru/ru/htc_max_4g/main/).
  • В ЗАО «Морские навигационные системы» (http://www.mns.spb.ru) использовано автоматное программирование при разработке программного обеспечения для автоматизации:
    • электроэнергетической системы (управление дизель-генераторами и их параллельной работой), компрессоров системы кондиционирования и вспомогательного котла для пассажирских теплоходов проекта 301 (первое судно – «Константин Федин»);
    • параллельной работы генераторов для корабля проекта 12322.
  • Программный комплекс PCMS2, используемый для проведения соревнований по информатике и программированию:
    • командной олимпиады школьников Санкт-Петербурга по программированию;
    • Всероссийской командной олимпиаде школьников по программированию;
    • Всероссийской олимпиаде школьников по информатике;
    • командных интернет-олимпиад для школьников;
    • личных интернет-олимпиад для школьников;
    • школьных учебно-тренировочных сборов по информатике;
    • четвертьфинальных и полуфинальных соревнованиях студенческого командного чемпионата мира по программированию;
    • студенческих тренировок СПбГУ ИТМО и других соревнований.
  • UniMod – программный пакет для разработке объектно-ориентированных приложений на основе автоматного подхода (http://unimod.sourceforge.net/).
  • Визуализаторы алгоритмов дискретной математики (http://rain.ifmo.ru/cat/view.php/vis).

Достижения

  • Выпускники кафедр «Компьютерные технологии» и «Технологии программирования» НИУ ИТМО разработали первый в мире коммуникатор, способный работать в сетях GSM и Mobile WiMAX, - HTC MAX 4G.
  • Президент РФ Дмитрий Анатольевич Медведев вручил главный приз года молодежи – Гран-при «Открытие» первой молодежной национальной премии «Прорыв» выпускникам НИУ ИТМО Евгению Южакову, Федору Цареву и Александру Штучкину за разработку первого в мире коммуникатора 4G WiMax «Yota».
  • Федор и Михаил Царевы – лауреаты премии Правительства Санкт-Петербурга на лучший инновационный проект «Программирование и футбол для молодежи» (в номинации «Для обеспечения интересов молодежи»).
  • Станкевич Андрей, доцент кафедры компьютерных технологий – лауреат Молодежной премии Санкт-Петербурга 2009 года в области информационных технологий.
  • В 2008 году премии Правительства Российской Федерации в области образования удостоились:
    • Васильев Владимир Николаевич, ректор Санкт-Петербургского государственного университета информационных технологий, механики и оптики, заведующий кафедрой «Компьютерные технологии»;
    • Парфенов Владимир Глебович, доктор технических наук, профессор, декан факультета «Информационных технологий и программирования»;
    • Шалыто Анатолий Абрамович, доктор технических наук, профессор, заведующий кафедрой «Технологии программирования»;
    • Корнеев Георгий Александрович, кандидат технических наук, доцент;
    • Казаков Матвей Алексеевич, ассистент кафедры

Студенты и выпускники кафедры «Компьютерные технологии» имеют крупные успехи на соревнованиях по программированию:

  • Чемпионат мира ACM ICPC (ACM ICPC – Международная студенческая командная олимпиада по программированию, проводящаяся под эгидой международной ассоциации Association for Computing Machinery)
    • 2012 год, Михаил Кевер, Нияз Нигматуллин, Евгений Капун – 1-е место, золотая медаль, чемпионы мира и Европы;
    • 2009 год, Максим Буздалов, Владислав Исенбаев, Евгений Капун – 1-е место, золотая медаль, чемпионы мира и Европы;
    • 2008 год, Дмитрий Абдрашитов, Дмитрий Паращенко, Федор Царев – 1-е место, золотая медаль, чемпионы мира и Европы;
    • 2007 год, Искандер Акишев, Михаил Дворкин, Роман Сатюков – 3-е место, золотая медаль;
    • 2005 год, Павел Маврин, Сергей Оршанский, Дмитрий Павлов – 3-е место, золотая медаль;
    • 2004 год, Павел Маврин, Сергей Оршанский, Дмитрий Павлов – 1-е место, золотая медаль, чемпионы мира и Европы;
    • 2003 год, Тимофей Бородин, Александр Штучкин, Евгений Южаков – 3-е место, золотая медаль;
    • 2001 год, Георгий Корнеев, Денис Кузнецов, Андрей Станкевич – 3-е место, золотая медаль;
    • 2000 год, Георгий Корнеев, Денис Кузнецов, Андрей Станкевич – 4-е место, серебряная медаль;
    • 1999 год, Александр Волков, Матвей Казаков, Владимир Левкин – 3-е место, золотая медаль.
  • Чемпионат России
    • 2012 год, Михаил Кевер, Нияз Нигматуллин, Геннадий Короткевич — 1-е место;
    • 2010 год, Антон Ахи, Антон Банных, Сергей Поромов – 3-е место;
    • 2009 год, Максим Буздалов, Владислав Исенбаев, Евгений Капун – 4-е место;
    • 2007 год, Дмитрий Абдрашитов, Дмитрий Паращенко, Федор Царев – 1-е место, чемпионы России;
    • 2006 год, Искандер Акишев, Михаил Дворкин, Роман Сатюков – 2-е место;
    • 2005 год, Искандер Акишев, Михаил Дворкин, Роман Сатюков – 2-е место;
    • 2004 год, Павел Маврин, Сергей Оршанский, Дмитрий Павлов – 1-е место, чемпионы России;
    • 2003 год, Павел Маврин, Сергей Оршанский, Дмитрий Павлов – 1-е место, чемпионы России;
    • 2001 год, Тимофей Бородин, Александр Штучкин, Евгений Южаков – 1-е место, чемпионы России;
    • 2001 год, Олег Пестов, Андрей Пестов, Иван Прокушкин – 3-е место;
    • 2000 год, Георгий Корнеев, Денис Кузнецов, Андрей Станкевич – 2-е место;
    • 1998 год, Александр Волков, Матвей Казаков, Владимир Левкин – 4-е место;
    • 1997 год, Александр Волков, Матвей Казаков, Марк Сандлер – 5-е место;
    • 1996 год, Роман Елизаров, Денис Кисловский, Марк Сандлер – 1-е место, чемпионы России;
  • Imagine Cup – международный технологический студенческий конкурс, проводимый при поддержке компании Microsoft.
    • 2008 год, категория «Программные проекты», Анатолий Никитин (СПбГУ ИТМО), Роман Белов (СПбГУ) и Дарья Элькина (СПб ЛЭТИ) – победители Всероссийского этапа, награда «The Engineering Excellence Achievement Award» (награда за выдающееся инженерное решение) на финальном этапе в Париже.
  • TopCoder Open – открытый чемпионат для участников старше 18 лет, фактически чемпионат мира по программированию в индивидуальном зачете.
    • 2009 год, Владислав Исенбаев – 2 место, Андрей Станкевич и Павел Маврин участвовали в финале в номинации «Алгоритмы». Дмитрий Трофимов – 4 место в номинации «Марафон».
    • 2008 год, Андрей Станкевич – 6–9-е место.
    • 2007 год, Михаил Дворкин – 8-е место.
    • 2006 год, Андрей Станкевич – 6-е место.

Сотрудники

  • Парфенов Владимир Глебович, доктор технических наук, профессор, НИУ ИТМО, декан факультета «Информационные технологии и программирование», руководитель НИЦ «Технологии программирования и искусственного интеллекта», лауреат премии Президента 2003 года в области образования, лауреат премии Правительства РФ 2008 года в области образования;
  • Шалыто Анатолий Абрамович, доктор технических наук, профессор, НИУ ИТМО, заведующий кафедрой «Технологии программирования», лауреат Премии Правительства РФ 2008 года в области образования, распоряжением Президента РФ на 2006–2008 гг. назначена стипендия за выдающиеся заслуги в области техники, в 2005 и 2006 гг. член программного комитета международной конференции «IEEE International Conference on Computational Intelligence for Measurement Systems and Applications» (CIMSA 2005, CIMSA 2006. Италия, Испания), в 2007 г. член программного комитета международной конференции «The Second AIS SIGSAND European Symposium on Systems Analysis and Design» (Польша), в 2007 и 2008 гг. член программного комитета международной конференции «TOOLS-EUROPE» (ETH. Швейцария);
  • Станкевич Андрей Сергеевич, доцент, лауреат Премии Президента Российской Федерации в области образования, лауреат премии 2004 ACM-ICPC Founder’s Award, лауреат специальной премии корпорации IBM, присуждаемой за успехи в тренерской работе, лауреат Молодежной премии Санкт-Петербурга в области информационных технологий за 2009 год, тренер студенческих команд – чемпионов мира по программированию;
  • Корнеев Георгий Александрович, доцент, кандидат технических наук, лауреат Премии Правительства РФ 2008 года в области образования;
  • Гуров Вадим Сергеевич, доцент, кандидат технических наук;
  • Шопырин Данил Геннадьевич, доцент, кандидат технических наук;
  • Маврин Павел Юрьевич, аспирант, чемпион мира по программированию, лауреат Молодежной премии Санкт-Петербурга в области информационных технологий, победитель конкурса грантов для студентов и аспирантов вузов Санкт-Петербурга;
  • Вельдер Сергей Эдуардович, аспирант;
  • Царев Федор Николаевич, аспирант, чемпион мира по программированию, лауреат Молодежной премии Санкт-Петербурга 2007 года в области информационных технологий, лауреат первой молодежной национальной премии «Прорыв», лауреат премии Правительства Санкт-Петербурга за лучший инновационный проект 2009 года, победитель конкурсов грантов 2007 и 2009 гг. для студентов вузов Санкт-Петербурга;
  • Царев Михаил Николаевич, магистрант, лауреат премии Правительства Санкт-Петербурга за лучший инновационный проект;
  • Буздалов Максим Викторович, магистрант, чемпион мира по программированию;
  • Федотов Павел Валерьевич, магистрант;
  • Малаховски Ян Михайлович, магистрант.