Співробітники кафедри

Жереб Костянтин Анатолійович

Жереб Костянтин Анатолійович

асистент кафедри інтелектуальних програмних систем,
кандидат фізико-математичних наук
Посилання: Scopus, Publons, Google Scholar, DBLP, ORCID.

Освіта та кар'єра:

2006 р. — закінчив Московський фізико-технічний інститут, факультет управління та прикладної математики.
2009 р. — закінчив аспірантуру Фізико-технічного навчально-наукового центру НАН України.
2009-2011 рр. — молодший науковий співробітник відділу теорії комп'ютерних обчислень Інституту програмних систем НАН України.
2011 р. — захистив кандидатську дисертацію на тему «Моделі та засоби програмування ефективних паралельних обчислень на основі техніки переписувальних правил». Науковий керівник — доктор фізико-математичних наук, професор Дорошенко А.Ю.
З 2011 р. — науковий співробітник відділу теорії комп'ютерних обчислень Інституту програмних систем НАН України.
2018-2019 рр. — асистент кафедри інформаційних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.
З 2019 р. — асистент кафедри інтелектуальних програмних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.

Сфера наукових інтересів:

  • Паралельні обчислення.
  • Автоматизовані перетворення програм.
  • Процеси розробки програмного забезпечення.

Вибрані публікації:

  1. Дорошенко А.Е., Жереб К.А., Яценко Е.А. Формализованное проектирование эффективных многопоточных программ // Проблемы программирования. – 2007. – № 1. – С. 17–30.
  2. Vladimir L. Pavlov, Anatoliy Doroshenko, Tatyana Taganskaya, Konstantin Zhereb, Nikita Boyko. An Experience of Integrating INTSPEI P-Modeling Framework with Microsoft Solutions Framework for Agile Software Development, Proceedings of IASTED International Conference Software Engineering, February 12-14, 2008, Innsbruck, Austria, pp. 318–323.
  3. Дорошенко А.Е., Жереб К.А. Автоматизация разработки приложений для графических ускорителей с использованием переписывающих правил // Труды 5 Восточно-европейской научно-практической конференции по программной инженерии CEE-SECR 2009. – Москва, 28–29 октября 2009.
  4. Дорошенко А.Е., Жереб К.А. Алгебро-динамические модели для распараллеливания программ // Проблемы программирования. – 2010. – № 1. – С. 39–55.
  5. Андон Ф.И., Дорошенко А.Е., Жереб К.А. Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители // Кибернетика и системный анализ. – 2011. – № 4. – С. 176–187.
  6. Дорошенко А.Ю., Жереб K.А., Туліка Є.М. Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил // Проблеми програмування. – 2012. – № 2–3. – С. 388–397.
  7. А.Ю. Дорошенко, І.В. Оконський, К.А. Жереб, О.Г. Бекетов. Використання засобів моделювання для визначення оптимальних параметрів виконання програм на відеографічних прискорювачах // Проблеми програмування. – 2013. – № 2. – С. 23–31.
  8. Дорошенко А.Ю., Хаврюченко В.Д., Туліка Є.M., Жереб K.А. Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень // Проблеми програмування (матеріали конференції УкрПРОГ’2016). – 2016 – № 2-3. – С. 133–140.
  9. Дорошенко А.Е., Жереб К.А., Иванов Е.В., Никитченко Н.С., Яценко Е.А. Формальные методы построения параллельных программ: научная монография / А.Е. Дорошенко, К.А. Жереб, Е.В. Иванов, Н.С. Никитченко, Е.А. Яценко. – Кропивницкий, ФЛ-П Александрова М.В. - 2016. - 441 с.
  10. Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб, Р.С. Шевченко, Е.А. Яценко, Методы алгебраического программирования. Формальные методы разработки паралелльных программ. - Киев, "Наукова думка". - 2017. - 440 с.

Викладацька діяльність:

  1. Програмування (лабораторні заняття) — бакалаври 1-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  2. Основи об'єктно-орієнтованого програмування (лекції, лабораторні заняття) — бакалаври 2-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  3. Розробка та використання інформаційних мереж (лекції, лабораторні заняття) — магістри 1-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.
  4. Актуальні проблеми об'єктно-орієнтованого програмування (лекції, лабораторні заняття) — магістри 2-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.

Теми курсових та дипломних робіт (2020-2021 н. р.):

  1. Програмування для сучасних паралельних платформ (multicore – мультиядерні процесори, Grid, Cloud, GPGPU – відеокарти, manycore, FPGA, контейнери та архітектура мікросервісів).
  2. Розробка систем та застосунків Big Data, зокрема з використанням Machine Learning та Data Science.
  3. Моделювання паралельних систем з метою підвищення продуктивності програм.
  4. Підвищення продуктивності веб та мобільних застосунків.
  5. Статичний аналіз програмного коду, пошук помилок, видобування інформації з коду, побудова моделей на основі коду.
  6. Перетворення програмного коду (source-to-source transformations, transpilers).
  7. Генерація програмного коду на основі моделей, правил та патернів.
  8. Розробка розширюваних програм та систем на основі правил.
  9. Створення методологій, засобів та інструментів підтримки процесу розробки ПЗ.
Детальніше