translated by Google

Machine-translated page for increased accessibility for English questioners.

Formela - Laboratory of formal methods, logic and algorithms

Contact: prof. RNDr. Antonín Kučera, Ph.D. , prof. RNDr. Petr Hlineny, Ph.D.

Laboratory website:

In the Laboratory of Formal Methods, Logic and Algorithms, we engage in scientific research in the areas of algorithm design and computer applications of logic, game theory and discrete mathematics. In research, we work directly with many top foreign experts and workplaces, and our scientists are also members of the National Center of Excellence. Institute of Theoretical Informatics CE-ITI .

All bachelor's, master's and doctoral students who are interested in participating in our student research seminars and participating in top theoretical research projects in computer science at the international level are welcome in our laboratory.

Our key research directions