Nahla El-Araby
Projektass.in Dr.in techn. / BSc MSc
About
Formal VerificationEmbedded systemsFPGA designHardware Verification
Role
-
PostDoc Researcher
Compilers and Languages, E194-05
Courses
Projects
-
Formal Verification of Deep Neural Networks for Code Conversion applications
2024 – 2027 / Austrian Exchange Service (OeAD)