Skip to main content

Hira Taqdees Syeda
Proof Engineer

Research Interests

Hira has just finished a PhD working on developing a Unified Memory Model for kernel verification. Her interests include interactive theorem proving, software verification and embedded systems.

Contact Details

More contact information is available at the Contact page.

Photo of Hira Taqdees Syeda

Publication List




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


Data61 Papers


Abstract to be published Hira Taqdees Syeda
Low-level program verification under cached address translation
PhD Thesis, UNSW, Sydney, Australia, August, 2019


Abstract PDF Hira Taqdees Syeda and Gerwin Klein
Program verification in the presence of cached address translation
International Conference on Interactive Theorem Proving, pp. 542-559, Oxford, UK, July, 2018


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