معرفی
Thierry Coquand is a Professor at the University of Gothenburg, affiliated with the Department of Logic and Types (LT). His research focuses on foundational aspects of mathematics and computer science, particularly in type theory, constructive mathematics, and formal systems. He actively collaborates with international researchers in areas like homotopy type theory, categorical semantics, and algebraic logic.
His academic contributions include pioneering work on cubical type theory, univalent foundations, and synthetic approaches to algebraic geometry. Coquand has published extensively in top journals such as Logical Methods in Computer Science and Mathematical Structures in Computer Science.
Research interests span foundational questions in proof theory, constructive algebra, and the interplay between type systems and programming language semantics. His work bridges theoretical computer science and mathematical logic, emphasizing computational interpretations of abstract structures.
