A
At a glance
Research interests
programming languages, formal methods, software engineering; program synthesis (automated programming), program verification, parallel computing, concurrency, distributed computing
About
Biography
Azadeh Farzan is Professor at the University of Toronto, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include programming languages, formal methods, software engineering; program synthesis (automated programming), program verification, parallel computing, concurrency, distributed computing.