Guang Yang, 2^nd year graduate student, EE/CAD for VLSI
Research interests: fast simulation, formal and semi-formal verification of electronic systems
I'd like to get from the class