Видатний програміст і математик, один з творців «шкільної інформатики», лідер в області теорії й автоматизації програмування, основні праці якого охоплюють теоретичне й системне програмування, мови програмування, теорію схем програм, мішані обчислення.