diff --git a/_posts/2017-05-01-farzan.md b/_posts/2017-05-01-farzan.md index d44f9d4b4080293f6583563ba2d9716998804c23..efd2215e2c6eb065ca6691832f76fa100d5d75af 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