Launch week offerEnds in00h00m00s
annual Promonthly Pro
Nahla Elaraby
Has grant
Assistant Professor
AustriaResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Nahla Elaraby is an Assistant Professor at TU Wien in Austria. Her research focuses on formal verification of code conversion, efficient memory architectures, and optimizing security attributes for IoT devices. She has recently authored articles including "TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking" and "Towards Optimized Security Attributes for IoT Devices in Smart Agriculture Based on the IEC 62443 Security Standard."
Recent Grants
Grant: Open
Formal Verification of Deep Neural Networks for Code Conversion applications
Open Date: 2023-02-01
Close Date: 2027-02-01
Articles (8)
Year:
2025
Year:
2025
Year:
2025
Year:
2024
Year:
2024
Year:
2024
Year:
2022
Year:
2021
Collaborators (2)
Axel Jantsch
TU Wien
Abdelkader Magdy Shaaban
AIT Austrian Institute of Technology GmbH
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.