His special fields of interest in computer science included programming languages, automatic error correction, non-numerical applications of computers and the connection between computer science and mathematical logic.
Ang kanyang mga espesyal na interes sa larangan ng computer science kasama programming languages, awtomatikong error koreksyon, non-de-numerong mga aplikasyon ng kompyuter at ang koneksyon sa pagitan ng computer science at matematika na lohika.