Анісімов Анатолій Васильович

(15 червня 1948р.)

Український кібернетик, доктор фізико-математичних наук, професор, декан факультет кібернетики Київського національного університету ім. Тараса Шевченка, член-кореспондент НАН України (2009), дійсний член Академії наук вищої школи України.

Закінчив механіко-математичний факультет КНУ ім. Тараса Шевченка (1965–1970). Захистив дисертацію за темою «Групи та контекстно-вільні граматики» (1972). У 1994 році захистив докторську дисертацію за темою «Рекурсивні перетворювачі інформації».

Асистент (1970–1972), старший викладач (1972–1974), доцент (1974–1977) факультету кібернетики КНУ ім. Т. Шевченка. Завідувач кафедри теоретичної кібернетики (1977–1980), завідувача кафедри математичної лінгвістики (1980–1984). З 1984 року — професор, завідувач кафедри математичної інформатики. З 2004 року — декан факультету кібернетики.

З 1992 року завідувач відділу інтелектуалізації інформаційних технологій Міжнародного науково-навчального центру інформаційних технологій та систем Національної академії наук України. Член бюро відділення інформатики НАН УкраїниПід час стажування у Стенфордському університеті в 1976–1977, Анатолій Анісімов був слухачем курсу «Мистецтво програмування» Дональда Кнута. Він же є автором передмови до третього видання першого тому впливового багатотомника «Мистецтво програмування» згадуваного вченого російською мовою.

Лауреат премії Національної академії наук України імені Глушкова у галузі кібернетики (1994). Соросівський професорський ґрант (1995–1996). Лауреат Державної премії України (1998).[Джерело?] Заслужений діяч науки і техніки України (2005).[2] Нагорода Ярослава Мудрого АН ВШ України (2006). Лауреат премії НАН України імені С. О. Лєбєдева у галузі обчислювальної техніки (2007).[3] Заслужений професор Київського національного університету ім. Тараса Шевченка (2008). Відзнака президії НАН України «За підготовку наукової зміни» (2008). Орден «За заслуги» III ступеня (2009).

Читав та читає нормативні курси: дискретна математика, математична логіка і теорія алгоритмів, штучний інтелект, теорія програмування, а також спецкурси: теорія складності алгоритмів, системи захисту інформації, алгоритмічна арифметика великих чисел, основи комп’ютерної графіки, теорія паралельних обчислень, нейронні системи та мережі, комп’ютерна лінгвістика, захист і кодування інформації, методи розпізнавання образів, алгоритм на графах, алгоритми сортування, теорія автоматів, теорія компіляції, рекурсивно-паралельні перетворювачі інформації, методи верифікації програм, дискретні перетворювачі інформації.