Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
225 commits behind the upstream repository.
2017-05-01-farzan.md 755 B 
title: Visitor to the group, Dr Azadeh Farzan of the University of Toronto, Canada

We were delighted to host Dr Azadeh Farzan 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 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.