Large Projects

  • Expeditions in Computer Augmented Program Engineering (ExCAPE)
    Rajeev Alur, Ratislav Bodik, Jeff Foster, Björn Hartmann, Lydia Kavraki, Hadas Kress-Gazit, Stephane Lafortune, Boon Thau Loo, P. Madhusudan, Milo Martin, George Pappas, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Armando Solar-Lezama, Paulo Tabuada, Stavros Tripakis, Moshe Vardi, Steve Zdancewic, Sarah Chasins, Peggy Chi, Dorsa Sadigh, Phitchaya Phothilimthana, Ali Sinan Koksal and Nishant Totla
  • Industrial Cyberphysical Systems (icyphy)
    Prabal Dutta, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia

Small Projects

EECS faculty can log in to make changes, or send change requests to researchupdates@eecs.