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, Derek Dreyer and Susan 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.