Доктор физико-математических наук. В 1969 г. окончил механико-математический факультет МГУ имени М. В. Ломоносова, в 1974 г. — аспирантуру Московского физико-технического института. Автор свыше 150 научных работ и 4 монографий. В настоящее время — главный научный сотрудник Института автоматизации проектирования РАН.