SPLASH 2020 (series) / Azalea Raad
![Azalea Raad](https://2020.splashcon.org/getProfileImage/azalearaad/e3b375c8-30bf-4eba-a52f-faeb136338d7/small.jpg?1711461164000)
Registered user since Wed 7 Jan 2015
Name:Azalea Raad
Affiliation:Imperial College London
Personal website: http://www.SoundAndComplete.org
Research interests:Weak Memory Concurrency, Non-Volatile Memory, Program Logics, Separation Logic, Concurrent Reasoning, Verification
Contributions
SPLASH 2020-profile
View general profile
View general profile