| Research areas
C*-algebras, Jordan algebras, states and weights (quantum measure theory),
subspace structures, independence of operator algebras, group
representations, applications to quantum field theory and mathematical
foundations of quantum theory.
(Jan Hamhalter, Martin Bohata, Veronika Sobotíková)
Orthomodular structures (quantum logics).
Orthomodular posets, effect algebras, concrete (set-representable) logics,
logics with a symmetric difference, compatibility, states (measures),
pastings of logics, constructions of logics.
(Pavel Pták, Josef Tkadlec)
Semigroups and groups.
Varieties of semigroups, various types of universality (categorial
universality, weak universality, Q-universality), subdirectly irreducible
semigroups in various varieties, partial representations of groups, Hamming
distances, Latin squares, Latin trades.
(Marie Demlová, Natalia Zhukavets)
Algebras and superalgebras.
Lie, alternative, Malcev and their generalizations, Poisson and their
Geometry of Banach spaces.
Differentiability of Lipschitz functions and mappings between Banach spaces,
porous and directionally porous sets in infinite dimensional spaces,
asymptotic convexity and smoothness.
Structure of separable and nonseparable Banach spaces, nonlinear functional
analysis, smoothness and renormings, polynomials in Banach spaces.
Covering and differentiation theorems in Hilbert space.
Coalgebraic methods in computer science.
Coalgebras as recursive specifications, iterative algebras and their
generalizations, semantics of infinite behaviour, algebras where every
recursive equation admits a strict solution, coequational presentations of
coalgebras, process algebra.
(Marie Demlová, Jiří Velebil)
Interval probabilities, cooperative game theory and fuzzy logics.
Non-additive set functions with applications in game theory and interval
probabilities. Probabilistic models on MV-algebras.
Probabilistic modelling and statistical analysis of random geometrical
objects, point processes, random sets, MCMC simulations.
(Kateřina Staňková Helisová)
Back to index page