Летичевський Олександр Адольфович
ЛЕТИЧЕ́ВСЬКИЙ Олександр Адольфович (03. 05. 1935, Київ — 19. 08. 2019, там само) — математик, фахівець у галузі комп’ютерних теорій і технологій. Син А. Летичевського та Н. Гебдовської, онук І. Летичевського. Доктор фізико-математичних наук (1973), професор (1982), академік НАНУ (2009). Державна премія СРСР (1968), премії ім. В. Глушкова (1985) та ім. А. Дородніцина (2010) НАНУ, Державна премія України в галузі науки і техніки (1993, 2003). Закін. Київський університет (1957), де від 1964 за сумісн. й працював: 1991–94 — зав., від 1994 — професор кафедри теор. кібернетики. Від 1957 — в Інституті кібернетики НАНУ (Київ): 1981–2008 — завідувач відділу рекурсив. обчислюв. систем, від 2009 — завідувач відділу теорії цифр. автоматів. Напрями наук. дослідж.: автоматно-алгебричні методи в програмуванні; теорія програмування обчислюв. систем; паралел. обчислення; теорія взаємодії агентів та середовищ; інсерційне моделювання; алгебричне програмування та комп’ютерна алгебра; штуч. інтелект. Брав участь у найважливіших приклад. проектах Інституту кібернетики НАНУ. Серед них — матем. забезпечення ЕОМ серії «МИР», вхідні мови «МИР» та «АНАЛІТИК», осн. алгоритми інтерпретації вхід. мов. Як гол. математик проекту макроконвеєр. ЕОМ керував створенням систем. матем. забезпечення машин ЄС1766 і ЄС2701, мови паралел. програмування «МАЯК», розподіленої операц. системи та системи програмування. Один із розробників системи алгебрич. програмування APS.
Додаткові відомості
- Основні праці
- Автоматизация проектирования вычислительных машин. К., 1975 (співавт.); Методы синтеза дискретных моделей биологических систем. К., 1983 (співавт.); Математическая теория проектирования вычислительных систем. Москва, 1988 (співавт.); Основи дискретної математики: Підруч. К., 2002 (співавт.); Constraint Programming in Modeling // Programming Problems. 2011. № 4 (співавт.); Инсерционное моделирование // УСМ. 2012. № 6; Автоматизация создания варифицированных тестовых сценариев на основе гидов // Моделирование и анализ информ. систем. 2013. Т. 20, № 6 (співавт.).