Research Projects - Sanjit A. Seshia

Large Projects

• TerraSwarm Research Center (TerraSwarm)
  Edward A. Lee, John D. Kubiatowicz, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia and John Wawrzynek
• UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
  Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye

Small Projects

• Game-Theoretic Timing Analysis
  Sanjit A. Seshia

Research Centers

• Center for Hybrid and Embedded Software Systems (CHESS)
• Donald O. Pederson Center for Electronics Systems Design (DOP)
• Gigascale Systems Research Center (GSRC)
• Multiscale System Center (MuSyC)
• Team for Research in Ubiquitous Secure Technology (TRUST)
• TerraSwarm Research Center

Send requests for updates to researchupdates@eecs, or Login to make changes yourself.