Award Details

The Outstanding Undergraduate Thesis Award

Year: 2023

Level
international
Category
research and development
URL
Persons

Šmahlíková Barbora, Ing.

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.

Back to top