The Edward S. Rogers Sr. Department of Electrical and Computer Engineering
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
system_software [2018/08/14 17:55] janders |
system_software [2018/08/16 19:55] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
The following faculty members pursue research related to software systems: | The following faculty members pursue research related to software systems: | ||
- | * Distributed systems: Christiana Amza, Hans-Arno Jacobsen | + | * Distributed systems: [[http://www.eecg.toronto.edu/~amza/|Cristiana Amza]], [[http://www.eecg.toronto.edu/~jacobsen/|Hans-Arno Jacobsen]] |
- | * Middleware: Hans-Arno Jacobsen | + | * Middleware: [[http://www.eecg.toronto.edu/~jacobsen/|Hans-Arno Jacobsen]] |
- | * Quality-of-service provisioning: Baochun Li | + | * Quality-of-service provisioning: [[http://iqua.ece.toronto.edu/bli/|Baochun Li]] |
- | * Operating systems: Ashvin Goel, David Lie, Michael Stumm, Ding Yuan | + | * Operating systems: [[http://www.eecg.utoronto.ca/~ashvin/|Ashvin Goel]], [[https://security.csl.toronto.edu/|David Lie]], [[http://www.eecg.toronto.edu/~stumm/|Michael Stumm]], [[http://www.eecg.toronto.edu/~yuan/Home.html|Ding Yuan]] |
- | * Secure systems: Ashvin Goel, David Lie | + | * Secure systems: [[http://www.eecg.utoronto.ca/~ashvin/|Ashvin Goel]], [[https://security.csl.toronto.edu/|David Lie]] |
+ | * Program verification and debug: [[http://www.eecg.toronto.edu/~yuan/Home.html|Ding Yuan]] | ||