кластерні паралельні обчислення, grid-технології і «хмарні» системи, агентно-орієнтовані технології та засоби інтелектуалізації програмування, крупномасшабні прикладні обчислення (метеорологія, екологія), автоматизація наукових досліджень
Біографія
З 1973 по 1997 рік працював в Інституті кібернетики ім. В.М. Глушкова НАН України, від інженера до старшого наукового співробітника відділу теорії цифрових автоматів. У 1989 році захистив дисертацію кандидата фізико-математичних наук, а у 1997 доктора фізико-математичних наук, обидві за спеціальністю 01.05.03 — математичне та програмне забезпечення обчислювальних машин і систем. З 1997 року заступник директора з наукової роботи Інституту програмних систем НАНУ, з 2001 року професор кафедри ТТП.
Опубліковано близько 100 наукових і навчально-методичних робіт. Основні наукові результати професора А.Ю. Дорошенка пов’язані з розробкою теорії та методів паралельного програмування та проектування ефективного програмного забезпечення мультипроцесорних обчислювальних систем. Ним запропоновано та розроблено алгебродинамічний підхід до опису та реалізації макроконвейєрних паралельних обчислень, що поєднує в собі засоби алгебри алгоритмів та теорії дискретних динамічних систем для задання операційної семантики паралелізму на алгоритмічному, програмному та координаційному рівнях, що дає змогу на єдиній основі поєднати найважливіші аспекти операційної семантики паралелізму, що впливають на продуктивність паралельних обчислень, а також уможливити ефективне динамічне розпаралелювання програм з використанням інтелектуальних програмних засобів паралельних обчислень.
Проф. А.Ю. Дорошенко є заступником головного редактора журналу „Проблеми програмування”, членом програмного комітету кількох міжнародних наукових конференцій: Міжнародної науково-практичної конференції з програмування (УкрПРОГ), Parallel Computing Technologies (PaCT) та Information Systems, Technologies and Applications (ISTA).
Академічні нагороди та премії
Лауреат Державної премії України в галузі науки і техніки (2019).
Премія НАН України імені С.О. Лєбєдєва, 2014
Грамота Верховної Ради України, 2005.
Навчальні дисципліни
Методи паралельних обчислень, бакалавр, 4 курс
Верифікація і валідація програмних систем магістр, 1 курс
Doroshenko, A., Ivanenko, P. & Yatsenko, O. Formal Techniques for Development and Auto-tuning of Parallel Programs. SN Computer Science. 2023. Vol. 4, Art. 162.
П.І. Андон, А.Ю. Дорошенко, В.Г. Акуловський, П.А. Іваненко, О.А. Яценко. Формальні та адаптивні методи конструювання високопродуктивних паралельних програм. Київ «Наукова думка», 2023. – 312 с.
Ексабайтова економіка: підручник. Авторський колектив: … Шпиг В., Дорошенко А., Щеглов О., Гуда К (п. 6.1). За науковою редакцією к.е.н. доц. Татомир І.Л., к.т.н. доц. Шульжика Ю.О. Трускавець: ПОСВІТ, 292 с.
Rahozin D., Doroshenko A. (2022) Performance Model for Convolutional Neural Networks. In: Shkarlet S. et al. (eds) Mathematical Modeling and Simulation of Systems. MODS 2021. Lecture Notes in Networks and Systems, vol 344. Springer, pp 239-251.
Doroshenko A.Yu., Ivanov Ie.V., Nikitchenko M.S., Yatsenko O.A., Zhereb K.A. Formal program development methods. Kyiv: Publishing and Polygraphic Center “Kyiv University”, 2021. 352 p.
Anatoliy Doroshenko and Olena Yatsenko, Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities. IGI Global, Hershey, Pennsylvania, USA. 2021, 279 p.
Anatoliy Doroshenko and Olena Yatsenko, Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities. IGI Global, Hershey, Pennsylvania, USA. 2021, 279 p. DOI: 10.4018/978-1-5225-9384-3
Дорошенко А.Ю., Жереб К.А., Іванов Є.В., Нікітченко М.С., Яценко О.А. Формальні методи специфікації програм : навч. посіб. — К.: ВПЦ “Київський університет”, 2020. — 367 с. (Ум. друк. арк. 21,4). —ІSВN 978-966-439-990-3
Doroshenko A.Yu., Yatsenko O.A. Formal methods of parallel software design automation. Допов. Нац. акад. наук Укр. 2020. № 6. С. 15—20.
