Корнеев Георгий Александрович
- Ученая степень:
- кандидат технических наук
- Должность:
- Доцент кафедры КТ
Выпускник СПбГУ ИТМО 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
Публикации в репозитории Университета ИТМО
Малаховски Я. М., Корнеев Г. А.
ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(82) за 2012 г.
ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(82) за 2012 г.
Корнеев Г. А., Малаховски Я. М.
ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(70) за 2010 г.
ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(70) за 2010 г.
Корнеев Г. А., Шалыто А. А.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.
Шалыто А. А., Корнеев Г. А.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.
Корнеев Г. А., Шалыто А. А.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
Корнеев Г. А., Шалыто А. А.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
Проекты
Подготовка и переподготовка профессиональных специалистов на базе центров образования и разработок в сфере информационных технологий в Северо-Западном ФО
09/20/2011 - 12/31/2011
09/20/2011 - 12/31/2011