His research has focused on the foundations and philosophy of computing, both in the practice and theory of computer science, and in the use of computational metaphors in other fields, such as philosophy, cognitive science, physics, and art. , he is professor of information, computer science, and philosophy at University of Toronto.