The ISD group is interested in principles, techniques, methodologies, and tools for the specification, design, implementation, and verification of protocols, circuits, and integrated hardware/software systems. Information on specific research goals is available from the group faculty.
We are located in CICSR/CS room 342. CICSR is building number 10 on the campus map. (Note for visitors: CICSR is not the same as the former ``Computer Science building'', which is halfway across campus at number 11 on the map.)
Those wishing to remain informed about activities in the lab should read the ISD newsgroup. Some general information about living in the lab is available. Those wishing to contribute to the lab web pages should first read the site guidelines.