From 1709516513fda41b1ae81b4176cd56e941f0b46c Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 18 May 2017 17:06:58 +0100 Subject: [PATCH] Update 2017-05-01-farzan.md --- _posts/2017-05-01-farzan.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-05-01-farzan.md b/_posts/2017-05-01-farzan.md index efd2215..cdbb40e 100644 --- a/_posts/2017-05-01-farzan.md +++ b/_posts/2017-05-01-farzan.md @@ -3,7 +3,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. +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 -- GitLab