Award Finalists (2022)
- Tomáš Dlask (winner) - Block-Coordinate Descent and Local Consistencies in Linear Programming
- Pavel Koupil - Modelling and Management of Multi-Model Data
- Vojtěch Spurný - A Complex System for Fast and Reliable Deployment of Cooperating Autonomous Aerial Vehicles
Award Finalists (2021)
- Gustav Šír (winner) - Deep Learning with Relational Logic Representations
- Tomáš Báča - Cooperative Sensing by a Group of Unmanned Aerial Vehicles
- Dmytro Mishkin - Learning and Crafting for the Wide Multiple Baseline Stereo
Award Finalists (2020)
- Jitka Kostková (winner) - Advanced Moment Invariants for Pattern Matching
- Matuš Němec (winner) - Challenging RSA cryptosystem implementations
- Robert Pěnička (winner) - Data Collection Planning For Aerial Vehicles
- Tomáš Michálek - Micromanipulation Using Dielectrophoresis: Modeling and Real-Time Optimization-Based Control
- Karel Horák - Scalable Algorithms for Solving Stochastic Games with Limited Partial Observability
Award Finalists (2019)
- Filip Radenović (winner) - Visual Retrieval with Compact Image Representations
- Marek Dvorožňák - Bridging the Gap Between Computer-Generated and Hand-Drawn Animation
- Eva Žáčeková - Identification for Model Predictive Control under Closed-loop Conditions
- Matej Pčolka - Numerical Aspects of Optimal Control Design for Nonlinear Systems
Award Finalists (2018)
- Vojtěch Mrázek (winner) - Automated Design Methodology for Approximate Low Power Circuits
- Daniel Meister - Bounding Volume Hierarchies for High-Performance Ray Tracing
- Michal Uřičář - Multi-view Facial Landmark Detection
Award Finalists (2017)
- Michal Čáp (winner) - Centralized and Decentralized Algorithms for Multi-Robot Trajectory Coordination
- Pavel Benáček - Generation of High-Speed Network Device from High-Level Description
- Jakub Fišer - Example-based Rendering of Hand-drawn Content
- Lukáš Neumann - Scene Text Localization and Recognition in Images and Videos
- Jan Zapletal - The Boundary Element Method for Shape Optimization in 3D
Award Finalists (2016)
- J. Heller (winner) - Global Optimization Techniques in Camera-Robot Calibrations
- M. Balko - Ramsey-type results for ordered hypergraphs
Award Finalists (2015)
- O. Lengál (winner) - Automata in Infinite-State Formal Verification
- B. Bošanský: Iterative Algorithms for Solving Finite Sequential Zero-Sum Games
- D. Langr: Algorithms and Data Structures for Very Large Sparse Matrices
- D. Sehnal: Methods for the Analysis of 3D Structural Fragments in Biomolecule
- M. Suda: Resolution-based Methods for Linear Temporal Reasoning
- Z. Patáková: Problems in Discrete Geometry
Award Finalists (2014)
- J. Bulánek (winner) - The Online Labeling Problem
- D. Dombek (winner) - Non-standard representations of numbers
Award Finalists (2013)
- Z. Kúkelová (winner) - Algebraic Methods in Computer Vision
- M. Bujňák - Algebraic Solutions to Absolute Pose Problems
- M. Krčál - Computational homotopy theory
Award Finalists (2012)
- M. Havlena (winner) - Incremental Structure from Motion for Large Ordered and Unordered Sets of Images
- R. Ganian - Parameterized Algorithms on Width Parameters of Graphs
- T. Valla - Combinatorial Games Theory
Award Finalists (2011)
- P. Vácha (winner) - Query by Pictorial Example
- T. Ebenlender - Combinatorial Algorithms for online Problems: Semi-online scheduling on related machines
- R. Hofman - Application of Advanced Data Assimilation Methods in off-site Consequence Assessment
- J. Vokřínek - Distributed Problem Solving by Means of Agent Negotiation
Award Finalists (2010)
- J. Faigl (winner) - Multi-Goal Path Planning for Cooperative Sensing
- D. Šišlák (winner) - Autonomous Collision Avoidance in Air-Traffic Domain
- I. Hanák - Accelerating Digital Hologram Generation
- P. Jurčík - Real time Communication over Cluster-tree Wireless Sensor Network
- K. Klouda - Non-standard numeration systems and combinatorics on words
- O. Špinka - RAMA – a Low-Cost Modular Control System for Unmanned Aerial Vehicles
Award Finalists (2009)
- L. Běhounek (winner) - Logical Foundations of Fuzzy Mathematics
- M. Bidlo - Evolutionary Design of Generic Structures Using Instruction-based Development
- J. Kanis - Statistický automatický překlad čeština - znakovaná řeč
- M. Vejmelka - Quantifying Interactions between Complex Oscillatory Systems: A Topic in Time Series Analysis
Award Finalists (2008)
- K. Zimmermann (winner) - Rychlé učitelné metody pro sledování objektů
- B. Mahdian - Blind Digital Image Authentication
- T. Tichý - Aproximační a online algoritmy