Institute for Logic, Language and Computation

Welcome to the Institute for Logic, Language and Computation, a research institute in the interdisciplinary area between mathematics, linguistics, music, computer science, philosophy and artificial intelligence.

Dr. Nick Bezhanishvili

'Logic gives rise to interesting and beautiful mathematical structures such as Boolean algebras, Heyting algebras and the like. These in turn provide a powerful machinery for analysing logical systems. My work studies interactions between such systems and their mathematical models. In particular, it is centered on applications of algebraic and topological methods to logic.'

Research

Education

Partnership

ILLC People in the Media

  • 2015_ILLC-Harry_Buhrman_college_LDingemans_4.jpg

    Theoretical Computer Science

    In theoretical computer science, our research is characterised by a focus on fundamental questions regarding the design and analysis of algorithms. We investigate problems motivated by applications in physics, economics, and AI.