Add new file

_posts/2017-05-01-farzan.md

+---
+title: Visitor to the group, Dr Azadeh Farzan of the University of Toronto, Canada
+---
+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