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 |