The following faculty members pursue research related to software systems:

• Distributed systems: Cristiana Amza, Hans-Arno Jacobsen
• Middleware: Hans-Arno Jacobsen
• Quality-of-service provisioning: Baochun Li
• Operating systems: Ashvin Goel, David Lie, Michael Stumm, Ding Yuan
• Secure systems: Ashvin Goel, David Lie
• Program verification and debug: Ding Yuan