Выдающийся специалист в области теоретического программирования, автор ряда книг, в том числе классической монографии "Дисциплина программирования".