Кореньков Юрий Дмитриевич

Должность: ассистент

Кафедра: факультет программной инженерии и компьютерной техники

Стаж: 4 года

Условие работы: Внешний совместитель

Трудовой договор: с 07/01/2019 по 08/31/2019

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: Программная инженерия; Квалификация: магистр;

Наименование направления подготовки и (или) специальности:

Преподаваемые дисциплины:

  • Верификация моделей программ
  • Верификация моделей программ
  • Проектирование представлений данных
  • Основы разработки компиляторов
  • Символьные вычисления

Повышение квалификации:

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Повышение квалификации
Психолого-педагогическое обеспечение инклюзивного высшего образования
2018
Российская Федерация
Санкт-Петербург

Список трудов:

  1. Синтаксический анализ для динамически расширяемых грамматик на основе PEG [Тип: Тезисы, Год: 2019]
  2. Дергачев А.М., Жирков И.О., Логинов И.П., Кореньков Ю.Д. Реализация метаязыковой абстракции для поддержки ООП средствами языка Си. Программные продукты и системы. 2019. Т. 32. № 2. С. 190-196. [Тип: Статья, Год: 2019]
  3. Методы проверки корректности сборщиков мусора [Тип: Тезисы, Год: 2019]
  4. Korenkov I., Loginov I., Dergachev A., Lazdin A. Declarative target architecture definition for data-driven development toolchain. 18th International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM-2018. 2018. Vol. 18. No. 2.1. pp. 271-278. [Тип: Статья, Год: 2018]
  5. Практические указания к лабораторным работам и курсовому проекту по дисциплине Верификация моделей программ [Тип: Учебник, учебное пособие, Год: 2017]
  6. Разработка унифицированного метода описания текстовых и графических пользовательских интерфейсов и его программная реализация [Тип: Тезисы, Год: 2016]
  7. Кореньков Ю.Д., Логинов И.П. Исследование и разработка языкового инструментария на основе PEG-грамматики. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 11. С. 934-938. [Тип: Статья, Год: 2015]
  8. Korenkov Y., Loginov I., Lazdin A. PEG-based language workbench. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 75-81. [Тип: Статья, Год: 2015]