His 1988 Doctoral dissertation was on the subject of computer viruses.
गणनीय सिद्धान्तात संगणकाच्या विविध सैद्धांतिक प्रारूपांच्या मर्यादांचा अभ्यास होतो.