People
Department of Algebra
doc. Mgr. Libor Barto, Ph.D.
Computational complexity, universal algebra, in particular constraint satisfaction problems.
William Demeo, Ph.D.
Universal algebra, model theory, constraint satisfaction problems, automated theorem proving.
prof. RNDr. Aleš Drápal, CSc., DSc.
Algebraic and combinatorial properties of binary systems (loops, quasigroups, left distributivity)...
Dr. rer. nat. Faruk Göloglu,
Boolean functions, finite fields and their applications in cryptography.
doc. Mgr. Štěpán Holub, Ph.D.
Combinatorics of words, formalization of mathematics.
Mgr. Vítězslav Kala, Ph.D.
Number theory, universal quadratic forms, class numbers, generalized continued fractions, semifields.
RNDr. Alexandr Kazda, Ph.D.
Universal algebra, computational complexity, constraint satisfaction problem.
Michael Kompatscher, Ph.D.
Universal algebra, constraint satisfaction problems.
prof. RNDr. Jan Krajíček, DrSc.
Mathematical logic and proof complexity in particular.
Antoine Mottet,
Universal algebra, model theory, constraint satisfaction problems.
RNDr. Zuzana Patáková, Ph.D.
Discrete and computational geometry, algebraic and topological combinatorics.
doc. Mgr. Pavel Růžička, Ph.D.
Lattice theory, module theory.
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.
Jordan Williamson, Ph.D.
Equivariant stable homotopy theory, derived commutative algebra.
Pavlo Yatsyna, Ph.D.
Number theory, quadratic forms, lattices, discrete geometry, integer symmetric matrices, algebraic graph theory.
doc. Mgr. et Mgr. Jan Žemlička, Ph.D.
Ring theory.
