2017-02-10-Azalea_viva.md

---
title: Congratulations to Azalea Raad on her viva
---
Congratulations to Azalea Raad who very successfully defended her PhD thesis, 
Abstraction, Refinement and Concurrent Reasoning on Friday 10 February. 

Many thanks to the examiners, [Matthew Parkinson](https://www.microsoft.com/en-us/research/people/mattpark/), 
[Derek Dreyer](https://people.mpi-sws.org/~dreyer/research.html) 
and [Susan Eisenbach](http://www.imperial.ac.uk/people/s.eisenbach) who read the 471 pages of Azalea’s thesis. 
The thesis explores the challenges in abstract library specification, library refinement and reasoning about 
fine-grained concurrent programs, addressing several challenging and important problems in program 
verification, all revolving roughly around the question of how to reason locally and compositionally about shared mutable data structures. 
You can see more about Azalea’s work on her [webpage](http://www.soundandcomplete.org/).