The Computer Engineering Research Group

The Edward S. Rogers Sr. Department of Electrical and Computer Engineering

User Tools

Site Tools


This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
system_software [2018/08/14 17:55]
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://​​~amza/​|Cristiana ​Amza]][[http://​​~jacobsen/​|Hans-Arno Jacobsen]] 
-  * Middleware: Hans-Arno Jacobsen +  * Middleware: ​[[http://​​~jacobsen/​|Hans-Arno Jacobsen]] 
-  * Quality-of-service provisioning:​ Baochun Li +  * Quality-of-service provisioning: ​[[http://​​bli/​|Baochun Li]] 
-  * Operating systems: Ashvin Goel, David Lie, Michael Stumm, Ding Yuan +  * Operating systems: ​[[http://​​~ashvin/​|Ashvin Goel]][[https://​​|David Lie]][[http://​​~stumm/​|Michael Stumm]][[http://​​~yuan/​Home.html|Ding Yuan]] 
-  * Secure systems: Ashvin Goel, David Lie+  * Secure systems: ​[[http://​​~ashvin/​|Ashvin Goel]][[https://​​|David Lie]] 
 +  * Program verification and debug: [[http://​​~yuan/​Home.html|Ding Yuan]]