Machine Learning

Machine Learning group


Our research directions

Probabilistic deep networks

Deep networks with stochastic neurons as well as probabilistic generative models like Variational Autoencoders become increasingly important in Deep Learning due to the growing understanding of the importance of versatile and expressive learned (latent) representations. Our research in this area focuses on advanced learning algorithms as well as on conceptually novel approaches for semi-supervised learning for such models. read more

Two-dimensional automata and grammars

The theory of two-dimensional (2D) languages studies automata and grammars for processing 2D arrays of symbols. In our research we aim to examine such 2D models that have applications in the field of structural pattern recognition for domains such as mathematical formulas (paper), flowcharts (paper) or document layouts (paper). We also deal with complexity of pattern matching againsts 2D languages accepted by various models of 2D automata (paper).

The Many Facets of Orthomodularity

Czech Science Foundation grant 20-09869L, 2020-22

Quantum physics requires a non-standard model of probability, admitting the description of events which are observable separately, but not simultaneously. Thus all observable events do not form a sigma-algebra, but a more general structure, typically an orthomodular lattice or poset. This makes the development of probability theory more difficult; still many results were proved under the weaker assumptions. Among them, the proof (by Bell, Kochen, Specker, and others) of the impossibility of describing quantum theory in the classical terms using so-called “hidden variables”, wrongly predicted by Albert Einstein. We contributed to improvements of this result. Further research clarifies the algebraic properties of quantum logics.

Voráček, V., Navara, M.: Generalised Kochen–Specker Theorem in three dimensions. Foundations of Physics 51 (2021), 67. DOI 10.1007/s10701-021-00476-3

Machine learning applications and theory

Structured output learning ([Franc&Savchyynski 2008]),learning from weak annotations ([Franc&Cech 2018]), support vector machines ([Franc et al. 2011]), cutting plane algorithm ([Franc&Sonnenburg 2009], reject option classification ([Franc&Prusa 2019]), face recognition ([Yermakov&Franc 2021]), computer security ([Bartos et al 2016]).

More to follow, please stay tuned.

Carlos Bejines López (postdoc)
Tomáš Dlask (PhD student)
Boris Flach (assoc. prof.)
Vojtěch Franc (assist. prof.)
Mirko Navara (prof.)
Daniel Průša (assoc. prof.)
Tomáš Werner (assoc. prof.)


winter semester
summer semester


Available bachelor/master thesis topics

DP,SP Algebraické a analytické vlastnosti kvantových a fuzzy logik Navara Mirko
DP,BP,SP Anonymizace tváří Franc Vojtěch
DP,BP,SP Aproximace hodnot fuzzy konjunkcí Navara Mirko
BP,SP Aproximace hodnot fuzzy konjunkcí Navara Mirko
BP,SP Archiv fuzzy logických operací Navara Mirko
BP,SP Automatická extrakce dat z výsledkových listin Průša Daniel
DP,SP Automatické vyhodnocování slovních úloh Průša Daniel
DP,BP,SP Detekce mikroskopických hub v klinickém materiálu Franc Vojtěch
DP,BP,SP Hluboké stochastické prediktory Flach Boris
DP,BP,SP Knihovna fuzzy konjunkcí Navara Mirko
DP,BP,SP Kouzelné zrcadlo Franc Vojtěch
DP,BP,SP Logik solver Franc Vojtěch
DP,BP,SP Paradoxy v teorii pravděpodobnosti Navara Mirko
DP,SP Pravděpodobnost na kvantových strukturách Navara Mirko
DP,SP Principy fuzzy řízení Navara Mirko
DP,BP,SP Rozpoznávání aut z audia Franc Vojtěch
BP,SP Statistické metody rozpoznávání Navara Mirko
DP,BP,SP Verifikace tváří s odhadem míry jistoty Franc Vojtěch
DP,BP,SP Vizualní Sudoku solver Franc Vojtěch
Responsible person: ML Group Editor