Me

Azalea Raad

azalea AT imperial DOT ac DOT uk

Department of Computing
180 Queen's Gate
Imperial College London
London
UK
SW7 2AZ

About Me

I am currently a PhD student at Imperial College's Department of Computing, supervised by Philippa Gardner and Sophia Drossopoulou. I undertook a Masters (MEng) degree in Computing at Imperial College London in 2006, graduating in 2010 with first class honours and winning the Corporate Partnership Prize.

Research Interests

Resource Reasoning
Separation Logic
Formal Verification
Program Logics
Reasoning about Concurrent Programs
Modular Reasoning
Library Specification

Publications

DOM: Specification, Client Reasoning and Implementation (Submitted), [PDF]

CoLoSL: Concurrent Local Subjective Logic
ESOP 2015, [PDF]

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap
Mathematical Foundations of Programming Semantics (MFPS) 2014, [PDF]

A Sip of the Chalice
FTfJP 2011, [PDF]

Smelling of Roses (ROles - Specification , Exploration, Scrutiny)
Masters Dissertation, [PDF]

Talks

CoLoSL: Why Not Frame All the Way?
Invited Tutorial Talk: Concurrent Programs and Separation Logic
Mathematical Foundations of Programming Semantics (MFPS), June 2015, [Keynote]

CoLoSL: Concurrent Local Subjective Logic
Dagstuhl Seminar 15191: Compositional Verification Methods for Next-Generation Concurrency, May 2015, [Keynote]

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap
Mathematical Foundations of Programming Semantics (MFPS), June 2014, [Keynote]

CoLoSL: Concurrent Local Subjective Logic
York Concurrency Workshop, April 2014, [Keynote]

Concurrent Tree Update
Yak Concurrency Workshop at POPL 2013, [Keynote]