Mathematical structures in algebra, geometry and logic

Mathematical structures in algebra, geometry and logic

Foundations of the research in algebra, geometry and logic at the Faculty were laid in the 20th century by Eduard Čech and Petr Vopěnka. Over the past decade, activities of the Eduard Čech Institute and Center of Excellence (ECI and ECC) have fostered research in these areas.

Since 2018, the seven year University Research Center (UNCE) project “Methods in Algebra and Logic’’ is running at the Faculty, headed by a renown expert in proof complexity, Jan Krajíček. Applications of universal algebra to constraint satisfaction problems are a major topic pursued by the group of Libor Barto with the support by his CoCoSym Consolidator Grant of the ERC. Algebraic topics include representation theory, and its connections to homotopy theory (Jan Šťovíček) and set-theoretic homological algebra (Jan Šaroch). Since 2019, the five year EXPRO project “Homotopy and homology methods and tools related to mathematical physics’’ is financed by GAČR. It includes research in algebraic topology (Petr Somberg), differential geometry (Vladimír Souček), and applications in theoretical physics (Branislav Jurčo).

Selected outputs

Last change: April 1, 2019 08:04 
Share on:  
Contact Us

Charles University

Ovocný trh 5

Prague 1

116 36

Czech Republic

CU Point - Centre for Information, Counselling and Social Services


Phone: +420 224 491 850

Erasmus+ info:



How to Reach Us