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]]