Співробітники кафедри
Ченцов Олексій Ілліч
доцент кафедри інтелектуальних програмних систем,
кандидат фізико-математичних наук, доцент
кандидат фізико-математичних наук, доцент
Освіта та кар'єра:
2001 р. — закінчив Київський національний університет імені Тараса Шевченка, радіо-фізичний факультет.
2004 р. — закінчив аспірантуру Інституту кібернетики імені В.М. Глушкова НАН України.
2005-2008 рр. — інженер 1 категорії НДЛ «Високопродуктивних систем обробки інформації» факультету кібернетики Київського національного університету імені Тараса Шевченка.
2007 р. — захистив кандидатську дисертацію на тему «Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці». Науковий керівник — доктор фізико-математичних наук, професор Провотар О.І.
2008-2010 рр. — молодший науковий співробітник НДЛ «Високопродуктивних систем обробки інформації» факультету кібернетики Київського національного університету імені Тараса Шевченка.
2010-2011 рр. — науковий співробітник НДЛ «Високопродуктивних систем обробки інформації» факультету кібернетики Київського національного університету імені Тараса Шевченка.
2011-2016 рр. — доцент кафедри інформаційних систем факультету кібернетики Київського національного університету імені Тараса Шевченка.
2016-2019 рр. — доцент кафедри інформаційних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.
З 2019 р. — доцент кафедри інтелектуальних програмних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.
Сфера наукових інтересів:
- Абстрактні обчислювальні структури.
- Дискретна математика.
- Комп’ютерна алгебра.
- Теорія категорій.
- Параметризоване програмування.
- Реверсна та ре-інженерія програмних систем.
Вибрані публікації:
- Ченцов О.І. Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці: дис. канд. фіз.-мат. наук: 01.05.01 / Київський національний ун-т ім. Тараса Шевченка. — К., 2007. — 118c.
- Ченцов О.І. Програмна реалізація теорії категорій // Вісник КНУ ім. Т. Шевченка, серія фіз.-мат. науки. – 2011. – №2. – С.220–227.
- A. I. Chentsov, A. I. Provotar Generalization of Linear Morphisms on N in Topoi // Cybernetics and Systems Analysis, 2005, Volume 41, Issue 5, pp. 688-694.
- M. Nikitchenko, A. Chentsov Basics of Intensionalized Data: Presets, Sets, and Nominats // The Computer Science Journal of Moldova, 2012, vol. 20, no. 3, pp. 334-365.
- A. Chentsov Many-sorted first-order composition-nominative logic as institution // Computer Science Journal of Moldova, 2016, vol. 24, no. 1(70), pp. 27-54.
- A. Chentsov, M. Nikitchenko Composition-Nominative Logics as Institutions // Logica Universalis, 2018, Volume 12, Issue 1–2, pp 221–238.
Викладацька діяльність:
- Дискретна математика (практичні заняття) — бакалаври 1-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
- Системне програмування та операційні системи (лекції, лабораторні заняття) — бакалаври 3-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
- Програмна інженерія (лекції, лабораторні заняття) — бакалаври 4-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
- Типи в мовах програмування (лекції) — магістри 1-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.
- Сучасні операційні системи (лекції, лабораторні заняття) — магістри 2-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.
Теми курсових та дипломних робіт (2020-2021 н. р.):
- Перетворення графів та їх візуалізація.
- Порівняння моделей віртуалізації пристроїв.
- Організація груп додатків.
- Пошук контекстно-залежних конструкцій в програмному коді.
- Реінженерія універсальної ОС у ОС реального масштабу часу.
- Інформаційна система "Електронна бібліотека факультету".
- Винесення драйверів пристроїв у простір користувача.