Best projects 2020
1. place
Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks

Author
Šimon Mandlík
Czech Technical University in Prague, Faculty of Electrical Engineering
Supervisor
doc. Ing. Tomáš Pevný, Ph.D.
About the project
2. place
Satisfiability of DQBF Using Binary Decision Diagrams

Author
Juraj Síč
Masaryk University in Brno, Faculty of Informatics
Supervisor
doc. RNDr. Jan Strejček, Ph.D.
About the project
3. place
Automated generation of planar geometry olympiad problems

Author
Patrik Bak
Pavol Jozef Šafárik University in Košice, Faculty of Science
Supervisor
Prof. RNDr. Stanislav Krajči, PhD.
About the project
People’s Choice Award
An award given to one of the finalists based on a public vote on the competition website.
Case-based reasoning in the diagnosis of cardiovascular diseases

Author
Zuzana Tocimáková
Technical University of Košice, Faculty of Electrical Engineering and Informatics
Supervisor
prof. Ing. Ján Paralič, PhD.
Other finalists of 2020
Petr Nevyhoštěný A Modular and Extensible Tool for Software Fault Localization

Czech Technical University in Prague, Faculty of Information Technology
Supervisor
Ing. Petr Máj
About the project
Roman Andriushchenko Computer-Aided Synthesis of Probabilistic Models

Brno University of Technology, Faculty of Information Technology
Supervisor
RNDr. Milan Češka, Ph.D.
About the project
František Pártl Design of a Hashing Algorithm for Biometric User Signature

University of West Bohemia in Pilsen, Faculty of Applied Sciences
Supervisor
Ing. Kamil Ekštein, Ph.D.
About the project
Matej Králik Multi-sensor accelerometer-based gesture recognition

Comenius University in Bratislava, Comenius University in Bratislava, Faculty of Mathematics, Physics and Informatics
Supervisor
Mgr. Vladimír Boža, PhD.
About the project
Tomáš Anlauf Multivariate Network Analysis

VSB – Technical University of Ostrava, Faculty of Electrical Engineering and Computer Science
Supervisor
doc. Mgr. Miloš Kudělka, Ph.D.
About the project
Karolína Kuchyňová User Identity Verification Based on Behavioral Characteristics

Charles University, Faculty of Mathematics and Physics
Supervisor
prof. RNDr. Tomáš Skopal, Ph.D.
About the project
Semifinalists
Analysis and identification of local structures in DNA

Author
Ján Havlík
Mendel University in Brno, Mendel University in Brno, Faculty of Economics and Administration
Supervisor
prof. RNDr. Ing. Jiří Šťastný, CSc
About the project
Application of Reinforcement Learning for Selected Problem

Author
Miloš Foltán
Faculty of Management Science and Informatics, Faculty of Management Science and Informatics
Supervisor
Ing. Lukáš Falát, PhD.
About the project
DBpedia linkage analysis leveraging on entity semantics

Author
David Fuchs
Prague University of Economics and Business, Fakulta informatiky a statistiky
Supervisor
prof. Ing. Vojtěch Svátek, Dr.
About the project
Gene regulation in Clostridium beijerinckii NRRL B-598

Author
Jana Schwarzerová
Brno University of Technology, Faculty of Electrical Engineering and Communication
Supervisor
Mgr. Ing. Karel Sedlář Ph.D.