PhD Student; PhD Student
Hira is a first year PhD student and is working on developing a Unified Memory Model for kernel's 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.