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.

Formal modeling

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.

Complex 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.



Click on photo for an interview about my research (`making invisible problems visible ‘).