From 8e04e4f52ccf87d2a1cea5a14303d47057daa3f9 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 1 Mar 2017 14:08:18 +0000
Subject: [PATCH] Update 2017-02-10-Azalea_viva.md

---
 _posts/2017-02-10-Azalea_viva.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2017-02-10-Azalea_viva.md b/_posts/2017-02-10-Azalea_viva.md
index fe95754..9cdc787 100644
--- a/_posts/2017-02-10-Azalea_viva.md
+++ b/_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. 
-- 
GitLab