Research Projects - Thomas A. Henzinger

Small Projects

• Interfaces for Component-Based Design
  Stavros Tripakis, Marc Geilen, Ben Lickly, Maarten Wiggers, Edward A. Lee and Thomas A. Henzinger

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.