Research Projects - Sanjit A. Seshia

Large Projects

• UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
  Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye

Small Projects

• A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
  Sanjit A. Seshia, Wenchao Li and Orna Kupferman
• Game-Theoretic Timing Analysis
  Sanjit A. Seshia
• Hierarchy of Finite Simulations of Lazy Linear Hybrid Automata
  Susmit Jha, Sanjit A. Seshia and Bryan Brady
• Information Flow Security
  Susmit Jha and Sanjit A. Seshia
• Satisfiability Modulo Theories (SMT)
  Rhishikesh Shrikant Limaye, Sanjit A. Seshia and Susmit Jha
• Verification-Guided Error Resilience (VGER)
  Daniel Holcomb, Wenchao Li and Sanjit A. Seshia
• Word-Level Verification of Hardware Designs Using Selective Term-Level Abstraction
  Sanjit A. Seshia and Bryan Brady

Research Centers

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

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