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