Skip to main content

Hira Syeda

Hira Syeda
PhD Student; PhD Student

Research Interests

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.

Contact Details

More contact information is available at the Contact page.

Photo of Hira Syeda


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