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.
Hira holds a Maters in Electrical Engineering from National University of Sciences and Technology (NUST), Pakistan.
|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