The densoeal workgroup is for collaborations between Denso and Professor Lee's Group.

See also the densosas workgroup for interactions between Denso and Professor Sanjit A. Seshia's group

Membership in the densoeal 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 densoeal link to the above left.

©2002-2018 Chess