2023

• Tomáš Effenberger – Amplified Intelligence for Teaching Programming

2022

• Marek Chalupa – Program Slicing and Symbolic Execution for Verification
• Samuel Pastva – Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems
• Vladimír Sedláček – On cryptographic weaknesses related to elliptic curves
• David Střelák – Acceleration of image processing algorithms for single particle analysis by electron microscopy
• Valdemar Švábenský – Automated Feedback for Cybersecurity Training

2021

• Jaroslav Bendík – Minimal sets over a monotone predicate: Enumeration and counting

2020

• Petr Eliáš – Action Recognition, Annotation, and Searching in Motion Data
• Vladimír Míč – Binary Sketches for Similarity Search
• Matúš Nemec – Challenging RSA cryptosystem implementations

2019

• Katarína Furmanová – Visualization and Visual Analysis of Intermolecular Interactions of Proteins
• Martin Jonáš – Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice

2018

• Cena nebyla udělena.

2017

• Cena nebyla udělena.

2016

• Jan Byška – Analysis and Visualization of Protein Structures
• Jakub Gajarský – Algorithmic Meta-theorems for Restricted Classes of Graphs

2015

• Petr Novotný – Controller Synthesis for Resource-Aware Systems
• Matej Pivoluska – Imperfect Randomness in Quantum Information Processing
• David Sehnal – Methods for the Analysis of 3D Structural Fragments in Biomolecules
• Mária Svoreňová – Control Strategy Synthesis for Path Planning under Temporal Constraints
• Marek Vinkler – Construction of Acceleration Data Structures for Ray Tracing

2014

• Moslem Amiri – Neutron/gamma-ray measurement and discrimination
• Jan Krčál – Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
• Jan Křetínský – Modal Transition Systems: Extensions and Analysis
• Jiří Kůr – On selected privacy and security issues in wireless sensor networks
• Zdeněk Matěj – Digitalization of spectometric system for mixed field of fast neutrons and gamma radiation

2013

• Petra Budíková – Towards Large-Scale Multi-Modal Image Search
• Jiří Filipovič – Algorithms and Methods for Haptic Interaction with Deformable Objects
• Petr Jarušek – Modeling Problem Solving Times in Tutoring Systems
• Petr Kosina – Decision Rule Learning for Evolving Data Streams
• Jana Tůmová – Quantitative Formal Methods for High-level Robot Path Planning

2012

• Nikola Beneš – Disjunctive Modal Transition Systems
• Milan Češka – Designing Data-Parallel Graph Algorithms for Model Checking
• Robert Ganian – Parameterized Algorithms on Width Parameters of Graphs

2011

• Silvie Luisa Brázdilová – Information Content Analysis in Automated Fluorescence Microscopy
• Jakub Chaloupka – Algorithms for Mean-Payoff and Energy Games
• Jan Sedmidubský – Self-organizing Similarity Search - The Social Network Approach

2010

• Pavel Šimeček – External Memory LTL Model Checking

2009

• Václav Brožek – Basic Model Checking Problems for Stochastic Games
• Vojtěch Forejt – Controller Synthesis for Markov Decision Processes with Branching - Time Objectives

2008

• David Novák – Similarity Search on a Very Large Scale
• Barbora Zimmerová – Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction

2007

• Tomáš Brázdil – Verification of Probabilistic Recursive Sequential Programs
• Miroslav Křipač – Adaptive Request Management Systems
• Vojtěch Řehák – On Extensions of Process Rewrite Systems

2006

• David Antoš – Hardware - constrained Packet Classification
• Michal Batko – Scalable and Distributed Similarity Search
• Radek Pelánek – Reduction and Abstraction Techniques for Model Checking
• David Šafránek – Visual Coordination Networks

2005

• Petr Holub – Network and Grid Support for Multimedia Distribution and Processing
• Jan Strejček – Linear Temporal Logic: Expressiveness and Model Checking