Research Interests: Applied logic; coalgebra; natural logic; epistemic logic
My general area of interest is applied logic: the study of mathematical and conceptual tools for use in computer science, linguistics, artificial intelligence and other areas.
My research interests are in logic, especially areas of overlap between logic and computer science, and logic and linguistics. I have been involved in several areas of this overlap, including studies of grammar formalisms, non-wellfounded sets, the math ematics of language, and foundational work on recursion and on the semantics of programming.
Research Interests: applied logic; mathematics of language