Skip to content
Snippets Groups Projects
Commit 17095165 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2017-05-01-farzan.md

parent e5f612f8
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment