Our systems research focuses on building large prototype software systems that convincingly demonstrate novel design principles and implmentation techniques using realistic workloads.


  • Operating systems
    • Concurrency control. Storage systems. Virtualization. Transactions. 
  • Secure systems 
    • Mandatory access control. Information flow. Secure cloud computing.
  • Real-time systems
    • Resource scheduling, wireless control, virtualization, resource security, timing specification and semantics 
  • Distributed systems
    • Replicated state machines. Fault tolerance. Gossip algorithms. Game theory. Failure detectors. 
  • Communication networks and protocols
    • Network architecture and algorithms. Network measurement, management, and security. Network protocol design. Network applications and services. Social and information networks. 
  • Wireless networks
    • Wireless mesh, vehicular, sensor, cognitive, and mobile social networks. Wireless network design, measurement, analysis, optimization, and management.


  • CS 356 Computer Networks
  • CS 372 Introduction to Operating Systems
  • CS 372H Introduction to Operating Systems: Honors
  • CS 378 Introduction to Wireless Networks
  • CS 378 Advanced Computer Networks
  • CS 380D Distributed Computing
  • CS 380L Advanced Operating Systems
  • CS 386M Communication Networks
  • CS 386W Wireless Networking
  • CS 386S Network Protocol Security
  • CS 395T Topics in Networking Protocol Design
  • CS 395T Operating Systems Implementation

Research Groups: