Перейти к содержимому страницы.
  2. Университет
  3. Персоналии (А-Я)
  4. Корнеев Георгий Александрович

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

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

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

Публикации

Runtime Analysis of Random Local Search with Reinforcement Based Selection of Non-Stationary Auxiliary Objectives: Initial Study
Person, Organization, or Personage: Towards User Account Type Prediction in Microblogs
First Steps in Runtime Analysis of Worst-Case Execution Time Test Generation for the Dijkstra Algorithm using an Evolutionary Algorithm
The spanning tree based approach for solving the shortest path problem in social graphs
Selection of Auxiliary Objectives with Multi-Objective Reinforcement Learning

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

Малаховски Я. М., Корнеев Г. А.
ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 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