Ing.
Dominik Harmim
External Pedagogue
Curriculum
Education and academic qualification
- 2019-2021: Master's Degree (Ing.) - Brno University of Technology - Faculty of Information Technology - Program: Information Technology and Artificial Intelligence - Specialisation: Software Verification and Testing - Passed Very Well - Dean's Award for Excellent Master's Thesis.
- 2016-2019: Bachelor's Degree (Bc.) - Brno University of Technology - Faculty of Information Technology - Program: Information Technology - Field: Information Technology - Passed with Honours - Dean's Award for Excellent Bachelor's Thesis.
- 2012-2016: Secondary School (A-Levels) - Secondary Technical School in Brno, Purkyňova, Funded Organisation - Programme: Information Technology - Specialisation: Programming and Databases.
Scientific activities
- Static analysis, dynamic analysis, and testing of programs.
- Programming, algorithmization.
Prizing by scientific community
- Brno Ph.D. Talent 2021 - Scholarship Beneficiar.
- IT SPY - One of the Top 10 Master's Theses of 2021 at FIT BUT.
- Dean's Award for Excellent Master's Thesis.
- Excel@FIT 2021 - Expert Committee Award: for significant improvement of a tool for verifying atomicity of operations in parallel programs.
- Excel@FIT 2021 - The Award of Jiří Kunovský: for excellent work.
- Dean's Award for Excellent Bachelor's Thesis.
- Excel@FIT 2019 - Expert Committee Award: for significant and practically useful contribution to static analysis in the Facebook Infer tool.
- Excel@FIT 2019 - The Award of Jiří Kunovský: for excellent work and its presentation.