украинский ученый в области информатики, вычислительной математики, системного анализа и математического моделирования. Академик НАН Украины (1988), профессор (1972), доктор физико-математических наук (1972).
В 1959 г. окончил механико-математический факультет Киевского государственного университета им. Т. Г. Шевченко за специальностью «вычислительная математика». В 1964 г. защитил кандидатскую, а в 1972 г. – докторскую диссертации, специализация – теоретические основы математики и кибернетики. В том же году стал профессором кафедры вычислительной математики Киевского государственного университета, а впоследствии – заведующим ее филиала в Институте кибернетики. В 1978 г. стал членом-корреспондентом Академии наук Украинской ССР, а с 1988 г. – академик АН УССР по специальности «вычислительная математика». С 1995 по 2009 гг. – академик-секретарь отделения информатики и член Президиума НАН Украины. С 2009 г. является советником Президиума. С 1994 г. возглавлял кафедру теоретической кибернетики и методов оптимального управления Московского физико-технического института, а с 2002 г. – заведующий филиалом кафедры автоматизированных систем обработки информации и управления Национального технического университета Украины «Киевский политехнический институт». С 1982 по 1994 гг. – заместитель директора, а с 1995 г. – директор Института кибернетики им. В. М. Глушкова НАН Украины и генеральный директор Кибернетического центра.
Ученый занимался созданием и исследованием моделей и методов математической (в частности дискретной) оптимизации, решением актуальных проблем вычислительной и прикладной математики, разработкой теории программирования и созданием связанных с нею компьютерных интеллектуальных технологий для решения задач, в частности трансвычислительной сложности, автоматизацией процессов обработки и анализа данных математическими методами, созданием теории алгоритмов и вычислений, в т. ч. и параллельных. Автор более 700 научных работ, подготовил 22 доктора и 60 кандидатов наук. Председатель научных советов НАН Украины «Интеллектуальные информационные технологии» и «Кибернетика», главный редактор международного научного журнала «Кибернетика и системный анализ» и журнала «Компьютерная математика».