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
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 |
