People
Department of Algebra
prof. Mgr. Libor Barto, Ph.D.
Computational complexity, universal algebra, in particular constraint satisfaction problems.
Isaac Bird, Ph.D.
Homological algebra and category theory.
Souvik Dey, Ph.D.
Commutative algebra, homological algebra, category theory.
prof. RNDr. Aleš Drápal, CSc., DSc.
Algebraic and combinatorial properties of binary systems (loops, quasigroups, left distributivity).
Stefano Fioravanti, Ph.D.
Universal algebra and its applications to theoretical computer science, artificial intelligence in algebra.
doc. Faruk Göloglu, Dr. rer. nat.
Boolean functions, finite fields and their applications in cryptography.
Dr. rer. nat. Siu Hang Man, Ph.D.
Analytic number theory.
doc. Mgr. Štěpán Holub, Ph.D.
Combinatorics of words, formalization of mathematics.
doc. Mgr. Vítězslav Kala, Ph.D.
Number theory, universal quadratic forms, class numbers, generalized continued fractions, semifields.
Michael Kompatscher, Ph.D.
Universal algebra and algorithms, constraint satisfaction problems.
prof. RNDr. Jan Krajíček, DrSc.
Mathematical logic and proof complexity in particular.
Sebastian Opper, Ph.D.
Representation theory of algebras and derived categories.
RNDr. Zuzana Patáková, Ph.D.
Discrete and computational geometry, algebraic and topological combinatorics.
Subham Roy, Ph.D.
Mahler measure, modular forms, elliptic curves, universal forms, function field arithmetic.
doc. Mgr. Pavel Růžička, Ph.D.
Lattice theory, module theory.
doc. Liran Shaul, Ph.D.
Commutative algebra, homological algebra, derived categories.
doc. RNDr. David Stanovský, Ph.D.
Non-associative algebraic structures, self-distributivity and algebraic invariants of knots, universal algebra, automated theorem proving.
doc. RNDr. Jan Šťovíček, Ph.D.
Representation theory of associative algebras, homological algebra, connections to homotopy theory and algebraic geometry.
prof. RNDr. Jan Trlifaj, CSc., DSc.
Representation theory, commutative and homological algebra.
doc. RNDr. Jiří Tůma, DrSc.
Lattice representation theory, applications of algebra in computer science.
Robin Visser, Ph.D.
Computational number theory, Explicit arithmetic of hyperelliptic curves, Abelian surfaces, Galois representations, Faltings' theorem (the Shafarevich conjecture).
Jordan Williamson, Ph.D.
Equivariant stable homotopy theory, derived commutative algebra.
doc. Mgr. et Mgr. Jan Žemlička, Ph.D.
Structural ring theory. Modules and Abelian groups. Abelian categories.
