From e5f612f8e7cb3d24615178237fa59bc08ff345ba Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 18 May 2017 17:06:33 +0100
Subject: [PATCH] Update 2017-05-01-farzan.md

---
 _posts/2017-05-01-farzan.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_posts/2017-05-01-farzan.md b/_posts/2017-05-01-farzan.md
index d44f9d4..efd2215 100644
--- a/_posts/2017-05-01-farzan.md
+++ b/_posts/2017-05-01-farzan.md
@@ -4,6 +4,7 @@ title: Visitor to the group, Dr Azadeh Farzan of the University of Toronto, Cana
 We were delighted to host [Dr Azadeh Farzan](http://www.cs.toronto.edu/~azadeh/) of the University of Toronto, 
 who visited the group for two weeks to discuss her work, which involves Software Verification, Programming Languages, 
 Formal Methods, and Security, all with an emphasis on [concurrency-related](https://www.cs.toronto.edu/~azadeh/research/research.html)issues.
+
 Dr Farzan received her PhD at the Computer Science Department of University of Illinois at Urbana-Champaign, 
 under the supervision of Professor José Meseguer and was subsequently a post doc at the School of Computer Science 
 at Carnegie Mellon University with Professor Edmund M. Clarke.
\ No newline at end of file
-- 
GitLab