Azadeh Farzan, University of Toronto

Research

Automata Theory Automated Programming Autonomous Agents Concurrency Distributed Synthesis Formal Verification Parallelization Program Proofs

Latest funding

Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
NSERC · 2020 · Principal investigator
$240,000
Advances in Program Analysis
NSERC · 2014 · Principal investigator
$195,000
Advances in Program Analysis**
NSERC · 2014 · Principal investigator
$120,000

All 4 grants and awards

Program Verification and Synthesis for Reliable Concurrent and Distributed Computing

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: Farzan, Azadeh

Keywords: formal verification; program synthesis; concurrency; program proofs; automata theory; parallelization; automated programming; autonomous agents; distributed synthesis

$240,000

Advances in Program Analysis

Principal investigatorNSERC2014Discovery Grants Program - Individual

Principal investigators: Farzan, Azadeh

$195,000

Advances in Program Analysis**

Principal investigatorNSERC2014Discovery Grants Program - Accelerator Supplements

Principal investigators: Farzan, Azadeh

$120,000

Testing and verification of concurrent software

Principal investigatorNSERC2009Discovery Grants Program - Individual

Principal investigators: Farzan, Azadeh

$160,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2020

Subject: Prospective PhD student: Automata Theory Dear Professor Farzan, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on automata theory connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Program Verification and Synthesis for Reliable Concurrent and Distributed Computing" (2020), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]