My research focuses on the computational foundations of cognitive science.
Many of our best theories of cognition posit intractable (NP-hard) computations. One of my research goals is analyzing the nature and causes of this intractability in order to deepen our understanding of the computational scope and limits of cognition.
In my investigations I consider all major modeling approaches in cognitive science, including symbolic, neural network, probabilistic/Bayesian, dynamical, heuristic, robotic, agent– and logic-based models of cognition.
I study various cognitive capacities that pose substantial computational challenges. These include intentional communication, analogy, problem solving, abduction (or inference to the best explanation), adaptive decision-making, social cognition.