Hira Syeda
PhD Student
Research Interests
Hira is a PhD student working on developing a Unified Memory Model for kernel verification. Her interests include interactive theorem proving, software verification and embedded systems. Hira is supervised by Prof. Gerwin Klein and Dr. Kevin Elphinstone.
Contact Details
Email: | Hira.Syeda@data61.csiro.au |
---|
More contact information is available at the Contact page.
Projects
Current |
Qualifications
Hira holds a Masters in Electrical Engineering from National University of Sciences and Technology (NUST), Pakistan.
Publications
Data61 Papers
2018
![]() |
![]() |
Hira Syeda and Gerwin Klein Program verification in the presence of cached address translation Interactive Theorem Proving, ITP, pp. 542-559, Oxford, UK, July, 2018 |
2017
![]() |
![]() |
Hira Syeda and Gerwin Klein Reasoning about translation lookaside buffers Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 490–508, Maun, Botswana, May, 2017 |