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