His main areas of inquiry were design, structure and performance of computer programs and algorithms.
תחומי המחקר העיקריים שלו היו עיצוב, בנייה וביצועים של תוכנות מחשב ואלגוריתמים.