The Team

Lead Faculty Members
 
 
 
Professor
PhD 1992, Harvard U

Networking, Distributed Systems, and Cloud Computing

 
 
 
 
 
 
Professor
PhD 1973, MIT 
 
Formal Methods, Programming Languages, and Type Theory
 
 
 
 
 
 
 
  
Collaborating Faculty Members
Postdoctoral Fellows
PhD Students
Alumni
  • Adam Bradley
  • Yarom Gabay  
  • Likai Liu  
  • Jorge Londono  
  • Sowmya Manjanatha  
  • Michael Ocean  
  • Yuting Zhang