Dániel H. is a Principal Formal Verification Engineer at Arm, a position they hold since 2022. Dániel previously worked at Cadence Design Systems from 2018 to 2021, where they progressed through roles including Lead and Senior Application Engineer. Earlier experience includes applications engineering at Jasper Design Automation and Duolog Technologies, as well as software development roles at Infineon Technologies and BME Etik Kkk. Dániel earned a Master of Science (MSc) in Information Technology from Budapesti Mûszaki és Gazdaságtudományi Egyetem and attended Czech Technical University in Prague for Electrical and Electronics Engineering.
This person is not in the org chart
This person is not in any teams
This person is not in any offices