выдающийся ученый в области информационно-поисковых систем, алгоритмических языков и автоматизированных систем управления, заложивший основы отечественной школы программирования и применения ЭВМ для решения военных и народно-хозяйственных задач. Автор 12 монографий и учебников, переведенных на 9 иностранных языков.