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

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