A new theoretical framework argues that the long-standing split between computational functionalism and biological naturalism misses how real brains actually compute.

Right now, the debate about consciousness often feels frozen between two entrenched positions. On one side sits computational functionalism, which ...

Theory of Computation offers a rigorous mathematical framework that underpins our understanding of what can be computed and how efficiently these computations may be performed. It encompasses ...

This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...

Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; general methodological problems of science, of induction and probability, ...

The latest winner was given the ‘Nobel Prize of computing’ for helping to reshape our understanding of the role of randomness in computation. Leading theoretical computer scientist Avi Wigderson has ...

Our research area encompasses the study of computation, computational models, computational complexity, algorithm design, algorithm verification, combinatorial optimization, computational biology and ...