The best bachelor thesis in Applied Informatics in State examinations of 2018

The jury consisting of teachers of Bachelor seminar and the leaders of the state examination committees agreed on the following conclusion:

A total winner

Dana Škorvánková: Capturing​ ​of​ ​Movement​ ​During​ ​Music​ ​Performance , supervisor: RNDr. Martin Madaras, PhD.

Laureates

Tomáš Bočinec: Webová výuka programovania pomocou metodológie TDD
(Web system for learning programming using TDD method), supervisor: Ing. František Gyarfaš, CSc.

Zoltán Onódy: A proof assistant for first-order logic , supervisor: Mgr. Ján Kľuka, PhD.

Martin Mašek: Záznam, spracovanie a vizualizácia diagnostických údajov z testovacích jázd nákladných vozidiel
(Recording, Processing and Visualization of Diagnostic Data from Test Drives of Trucks), supervisor: Mgr. Pavel Petrovič, PhD.