Research activities in our group can be outlined as follows: Energy Management for Multi-Processor/Core Systems Computer-Aided Verification of Software Formal Methods for Hardware Design and Verification Computer-Aided Design of Integrated Hardware/Software Systems Noise and Interference in Circuits and Systems Computational Prototyping of Optical Communication Systems Please click on the topics for further information.