Перейти к содержимому страницы.

Корнеев Георгий Александрович

Выпускник Университета ИТМО 2004 года.

Лауреат премии Правительства Российской Федерации 2008 года в области образования за научно-практическую и методическую разработку «Инновационная система поиска и подготовки высококвалифицированных специалистов в области производства программного обеспечения на основе проектного и соревновательного подходов» для образовательных учреждений высшего профессионального образования.

Публикации

Petrova I., Buzdalova A., Korneev G. Runtime Analysis of Random Local Search with Reinforcement Based Selection of Non-Stationary Auxiliary Objectives: Initial Study // Proceedings of MENDEL 2016 Conference - 2016, pp. 95-102



Корнеев Г.А., Малаховски Я.М. Валидация автоматов с переменными на функциональных языках программирования // Научно-технический вестник СПбГУ ИТМО - 2010. - № 06(70). - С. 73-77

Публикации в репозитории Университета ИТМО

Малаховски Я. М., Корнеев Г. А.
ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(82) за 2012 г.

Корнеев Г. А., Малаховски Я. М.
ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(70) за 2010 г.

Корнеев Г. А., Шалыто А. А.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Шалыто А. А., Корнеев Г. А.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.

Корнеев Г. А., Шалыто А. А.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Корнеев Г. А., Шалыто А. А.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Проекты

Подготовка и переподготовка профессиональных специалистов на базе центров образования и разработок в сфере информационных технологий в Северо-Западном ФО
09/20/2011 - 12/31/2011