Update 2017-02-10-Azalea_viva.md

_posts/2017-02-10-Azalea_viva.md

@@ -5,7 +5,7 @@ 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. 
+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.