Skip to main content

Hira Syeda

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.

Photo of Hira Syeda

Publication List

Projects

Current

Qualifications

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

Publications

Data61 Papers

2017

Abstract PDF Hira Syeda and Gerwin Klein
Reasoning about translation lookaside buffers
21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 490–508, Maun, Botswana, May, 2017