The densosas workgroup is for collaborations between Denso and Professor Sanjit A. Seshia Group.

See also the densoeal workgroup for interactions between Denso and Professor Edward A. Lee's group

Membership in the densosas workgroup is only open to industrial participants from Denso and academic participants from UC Berkeley who are associated with CHESS faculty.


  • June 6, 2014: Denso has joined CHESS.


Mailing lists and discussion forums may be found under the densosas link to the above left.

©2002-2018 Chess