The Systems research group pursues topics that involve mechanisms, policies, and implementations of next-generation computer systems. We focus on kernels, real-time and embedded systems, resource management, hardware-software interaction, cloud computing, energy-efficiency, systems for secure computation, and computing systems for robotics.

Current and Recent Projects:


Researchers: Postdoc and student profiles