Formela - Laboratory of Formal Methods, Logic, and Algorithms

Kontakt: prof. RNDr. Antonín Kučera, Ph.D., prof. RNDr. Petr Hliněný, Ph.D.
Lab web page:

The Laboratory of Formal Methods, Logic and Algorithms (Formela) carries out scientific research in the areas of algorithm design and of applications of logic, game theory and discrete mathematics in computer science. Our researchers are members of the national Center of Excellence - Institute for Theoretical Computer Science, and they are collaborating with some leading experts and institutes in theoretical CS abroad. The laboratory warmly welcomes all students of bachelor, master and doctoral degrees who are interested in participating in our research seminars for students, and in joining our research projects and international collaboration.

Our main research topics can be briefly summarized as follows.