Scholar
Azalea Raad
Google Scholar ID: uiSg96QAAAAJ
Imperial College London
Citations & Impact
Citations
1,049
H-index
17
i10-index
22
Publications
20
Co-authors
16
list available
Publications
Resume (English only)
Academic Achievements
- Multiple papers accepted for publication in significant conferences like CONCUR 2023, PLDI 2023, etc.; awarded an EPSRC research grant; one paper received the SIGPLAN Distinguished Paper Award; served on program committees for several international conferences; gave invited talks at multiple international events.
Research Experience
- Since October 2021, a UKRI Future Leader Fellow; from September 2020 to July 2022, a consulting research scientist at Facebook, London; since September 2022, a research consultant at Bloomberg.
Education
- Specific educational background information not provided.
Background
- A computer scientist and a Reader (associate professor) at the Department of Computing of Imperial College London, where she leads the Veritas Lab. She is also the co-director of the UK Research Institute on Verified, Trustworthy Software Systems. Her research area includes programming languages and verification, spanning topics such as non-volatile memory, persistency semantics, weak memory models, stateless model checking, program logics, and bug detection tools and techniques.
Miscellany
- Eager to supervise enthusiastic PhD and Masters candidates; can be contacted via email.
