Philosophy
Research by members of the the philosophy group spans a broad spectrum of non-classical and substructural logics, higher-order logic, truth, and philosophy of mathematics.
Mathematics
The interests of the members of the mathematics groups cover a broad spectrum of computability theory, proof theory, reverse mathematics, and algorithmic randomness, and their applications.
Linguistics
The linguistic group's research covers a wide range of topics in formal semantics and pragmatics, including conditionals, modality, temporality, attitude ascriptions, and the syntax–semantics interface.
Law
Cognitive science
Members in the cognitive science research group study change in structured systems, sentence processing, language change, and group coordination. The group enjoys an affiliation with the Connecticut Institute for the Brain and Cognitive Science.