Matt studied Philosophy and Cognitive Science at UQ before moving to Melbourne in 2002. He is currently [2005?] completing his dissertation - Reasoning with Inconsistency. His research interests are in the philosophy of logic and the philosophy of mind and he has a forthcoming textbook: Minds and Computers: An Introduction to the Philosophy of Artificial Intelligence. (Source: UniMelbourne www.philosophy.unimelb.edu.au/logic/members.htm, last update in 2005(?))