Skip to main content

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

More contact information is available at the Contact page.

Photo of Hira Syeda

Publication List




Hira holds a Masters in Electrical Engineering from National University of Sciences and Technology (NUST), Pakistan.


Data61 Papers


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


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

Served by Apache on Linux on seL4.