Professor Thomason is interested in applications of logic to a variety of problems in language, representation, and reasoning. He is currently working on uses of nonmonotonic logic in linguistics, the formalization of contextual reasoning, reasoning about attitudes of other agents, and the formalization of interpretation and generation in discourse. He was editor of the Journal of Philosophical Logic for many years, and is a Fellow of the American Association for Artificial Intelligence.