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 room 342 of the Institute for Computing Information and Cognitive Systems / Computer Science (ICICS/CS) building.
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.