Award Details
The Outstanding Undergraduate Thesis Award
Year: 2023
Level
international
Category
research and development
URL
Persons
Šmahlíková Barbora, Bc.
Description
Barbora Šmahlíková received for her bachelor thesis the international award "The Outstanding Undergraduate Thesis Award" of Vienna Center for Logic and Algorithms (VCLA), one of the most prestigious organisations dealing with logic and formal methods. The award is given to the best undergraduate thesis in the area of formal methods world-wide.