Ing.
Dominik Harmim
externí pedagog
Životopis
Vzdělání a akademická kvalifikace
- 2019-2021: Magisterské studium (Ing.) - Vysoké učení technické v Brně - Fakulta informačních technologií - Program: Informační technologie a umělá inteligence - Specializace: Verifikace a testování software - Prospěl velmi dobře - Cena děkana za vynikající diplomovou práci.
- 2016-2019: Bakalářské studium (Bc.) - Vysoké učení technické v Brně - Fakulta informačních technologií - Program: Informační technologie - Obor: Informační technologie - Prospěl s vyznamenáním - Cena děkana za vynikající bakalářskou práci.
- 2012-2016: Středoškolské vzdělání s maturitou - Střední průmyslová škola Brno, Purkyňova, příspěvková organizace - Obor: Informační technologie - Zaměření: Programování a databáze.
Vědeckovýzkumná činnost
- Statická analýza, dynamická analýza a testování programů.
- Programování, algoritmizace.
Ocenění vědeckou komunitou
- Brno Ph.D. Talent 2021 - Příjemce stipendia.
- IT SPY - Jedna z 10 nejlepších diplomových prací roku 2021 na FIT VUT.
- Cena děkana za vynikající diplomovou práci.
- Excel@FIT 2021 - Ocenění odborné komise: za zásadní vylepšení nástroje pro ověřování atomicity operací paralelních programů.
- Excel@FIT 2021 - Cena Jiřího Kunovského: za excelentní práci.
- Cena děkana za vynikající bakalářskou práci.
- Excel@FIT 2019 - Ocenění odborné komise: za významný a prakticky využitelný přínos ke statické analýze v nástroji Facebook Infer.
- Excel@FIT 2019 - Cena Jiřího Kunovského: za excelentní práci a její prezentaci během přehlídky.