The Edward S. Rogers Sr. Department of Electrical and Computer Engineering
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
system_software [2018/05/15 16:09] giambla2 created |
system_software [2018/08/16 19:55] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | System Software | + | The following faculty members pursue research related to software systems: |
| + | |||
| + | * Distributed systems: [[http://www.eecg.toronto.edu/~amza/|Cristiana Amza]], [[http://www.eecg.toronto.edu/~jacobsen/|Hans-Arno Jacobsen]] | ||
| + | * Middleware: [[http://www.eecg.toronto.edu/~jacobsen/|Hans-Arno Jacobsen]] | ||
| + | * Quality-of-service provisioning: [[http://iqua.ece.toronto.edu/bli/|Baochun Li]] | ||
| + | * 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: [[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]] | ||