buy1

доктор фізико-математичних наук, професор

Теми дисертацій

  • Кандидатська дисертація: «Примітивні програмні алгебри», 1985 р.
  • Докторська дисертація: «Теорія програмних алгебр композиційного типу та її застосування», 2002 р.

Коло наукових інтересів:

  • теорія програмних алгебр композиційного типу;
  • теорія нерухомих точок;
  • теорія баз даних;
  • композиційна семантика мови SQL
  • сучасні CASE-засоби.

Закінчив Київський державний університет ім. Т.Г. Шевченка за спеціальністю «Математика» у 1980 році.

Протягом 1981-1984 рр. навчався в аспірантурі під керівництвом професора В.Н. Редька. У 1985 р. захистив кандидатську дисертацію на тему «Примітивні програмні алгебри».

У 1990р. отримав вчене звання старшого наукового співробітника за спеціальністю «Математична кібернетика». Посаду завідувача науково-дослідницькою лабораторією з проблем програмування займає з 1997 р.

У 2002 р. захистив докторську дисертацію на тему «Теорія програмних алгебр композиційного типу та її застосування».

Викладає навчальні курси: «Методи верифікації та оптимізації програм», «Теорія програмування».

 

Є співавтором монографій:

  • Реляційні бази даних: табличні алгебри та SQL-подібні мови.
  • Формалізація моделі «Сутність-Зв’язок».

 

Деякі з публікацій:

  1. Буй Д.Б., Редько В.Н. Программологические аспекты метода неподвижной точки // Кибернетика и системный анализ. – 1994. – № 5. – С. 158-167.
  2. Редько В.Н., Буй Д.Б. К основаниям теории реляционных баз данных // Кибернетика и системный анализ. – 1996. – № 4. – С. 3-13.
  3. Редько В.Н., Брона Ю.И., Буй Д.Б. Взаимная непроизводность и выразительная сила операций реляционных алгебр // Доклады НАН Украины. Математика. Природоведение. Технические науки. – 1996. – №11. – С. 84-88.
  4. Буй Д.Б. Непрерывность в индуктивных множествах. Часть 1: Суперпозиция. Часть 2: Рекурсия // Проблемы программирования. – 1998. – Вып. 3,4. – С. 3-19.
  5. Брона Ю.И., Буй Д.Б., Загорский С.П., Поляков С.А. Композиционная семантика SQL-подобных языков: группировки, манипулирования данными, примеры // Вестник Киевского университета. Сер. физ.-мат. науки. – 2000. – Вып. 2. – С. 177-185.
  6. Брона Ю.И., Буй Д.Б., Загорский С.А., Поляков С.А. Композиционная семантика агрегатных функций SQL-подобных языков // Проблемы программирования. – 2000. – № 1-2. – С. 554-565.
  7. Буй Д.Б. Портативные уравнений в индуктивных множествах: метод Гаусса, инвариантные преобразования, взаимосвязь между рекурсией и суперпозицией, производность многоместной рекурсии // Проблемы программирования. – 2000. – № 1-2. – С. 63-74.
  8. Редько В.Н., Брона Ю.И., Буй Д.Б., Поляков С.А. Реляционные базы данных: табличные алгебры и SQL-подобные языки. – М.: Издательский дом «Академпериодика», 2001. – 198 с.
  9. Буй Д.Б. Композиционная семантика манипуляционных действий: сохранение денотатов, характеристики, вычислимость, необходимые условия полноты // Вестник Киевского университета. Сер. физ.-мат. науки. – 2002. – Вып. 1. – С. 169-189.

У співавторстві:

  1. Буй Д.Б., Никитченко Н.С., Омельчук Л.Л., Редько В.Н., Шишацкая О.В. Классификация языков и методов формальных спецификаций программных систем. International conference «TAAPSD` 2008». Abstracts. – Kyiv-Chernihiv, 2008 – pp. 27-33.
  2. Д.Б. Буй, И.М. Глушко. Обобщенная табличная алгебра, обобщенное исчисления строк, обобщенное исчисления на домене и их эквивалентность. Вестник Киевского национального университета имени Тараса Шевченко. Ср.: Физ.-мат. науки. – 2011. – Вып. 1. – С.86-95.
  3. Dmitriy Buy, Sergiy Kompan. The Concepts of Object, Class, Inheritance, Life Cycle: Formalization. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 1, P.236-244.
  4. Dmitriy Buy, Anna Puzikova. Completeness of Armstrong’s axiomatic. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 1, P.211-215.
  5. Буй Д.Б., Богатырева Ю.А. Теория мультимножеств: операции, структура, вычислимость. Проблемы теоретической кибернетики. Материалы XVI Международной конференции, Нижний Новгород, Россия, 20-25 июня 2011 г., С. 69-72.
  6. Богатырева Ю.А., Буй Д.Б., Редько В.Н. Примитивные программные алгебры функций множественных (мультимножинних) аргументов и значений. Доклады Национальной академии наук Украины. Научно-теоретический журнал Президиума НАН Украины. – № 9. – 2011.
  7. Буй Д.Б., Поляков С.А. Операционная и денотацийна семантика рекурсивных запросов в табличных базах данных. Материалы 8-й Международной конференции «Теоретические и прикладные аспекты построения программных систем» – TAAPSD’2011, Алушта, Украина, 19-23 сентября 2011