Teaching Interests

Operating Systems
Real-Time systems: foundations, models of computation, design and analysis
Resilient Cyber-Physical Systems

Courses

Spring 2014:CS 281- Principles of Operating Systems I
Fall 2014: CS 281- Principles of Operating Systems I
Spring 2015: CS 281- Principles of Operating Systems I