David Hudák (Preferred)
David Hudák
PhD student, Department of Intelligent Systems, Brno University of Technology
- Joined September 2025
Names
Emails
****@fit.vutbr.cz (Confirmed)
, ****@seznam.cz (Confirmed)
Personal Links
Career & Education History
PhD student
Department of Intelligent Systems, Brno University of Technology (vutbr.cz)
2025 – Present
MS student
Faculty of Information Technology, Brno University of Technology (vutbr.cz)
2022 – 2024
Undergrad student
Faculty of Information Technology, Brno University of Technology (vutbr.cz)
2019 – 2022
Advisors, Relations & Conflicts
Expertise
Finite-State Controller Synthesis
2025 – Present
Reinforcement Learning
2023 – Present
Formal Verification of Neural Networks
2021 – 2023