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.