He is known internationally for his work on intelligent agent systems, automated reasoning, logic programming, Turing machines and computer science education.