75-річчя члена-кореспондента НАН України А.В. Анісімова
Анотація
Доктор фізико-математичних наук, професор, заслужений діяч науки і техніки України, лауреат Державної премії України в галузі науки і техніки, член-кореспондент НАН України Анатолій Васильович Анісімов народився 15 червня 1948 р. В 1970 р. закінчив Київський державний університет ім. Т.Г. Шевченка. У 1972 р. під керівництвом В.М. Глушкова захистив кандидатську дисертацію. У 1984 р. став доктором наук. З 1992 р. — головний науковий співробітник відділу інтелектуалізації інформаційних технологій Міжнародного науково-навчального центру інформаційних технологій та систем НАН та МОН України. Член бюро Відділення інформатики НАН України. Декан факультету комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка (з 2016 р.).
А.В. Анісімов — знаний фахівець у галузі інформатики, організатор наукової школи «Математична інформатика». У 1976—1977 рр., під час стажування у Стенфордському університеті, у співпраці зі всесвітньо відомим вченим у сфері комп'ютерних наук Дональдом Ервіном Кнутом він розвинув теорію неоднорідного сортування даних, яка відразу отримала широке застосування для вирішення задач оптимального розподілу робіт для багатопроцесорних паралельних комп'ютерів.
Основні наукові дослідження А.В. Анісімова пов’язані з рекурсивно-паралельними перетворювачами інформації та їх використанням. Він побудував відповідну теорію, яка дає можливість моделювати широкий клас складних систем та обчислювальних структур, розробив концепцію керуючих просторів (паралельні асинхронні рекурсивно керовані системи, ПАРКС) і ПАРКС-технологію програмування. А.В. Анісімов започаткував новий оригінальний напрям у лінгвістиці, в основу якого покладено системно-алгоритмічний підхід до аналізу і синтезу структур природної мови, і створив ряд формальних моделей синтезу структур природної мови. Він розробляє теорію асоціативно-пошукових алгоритмів, що ґрунтується на зведенні вирішення проблеми до знаходження оптимальних маршрутів у семантичних мережах, працює в галузі криптографічного захисту інформації в мережах ЕОМ.
