工作研究领域

计算机科学与技术、集成电路形式验证

联系方式

电子信箱:wangww at vlsi dot zju dot edu dot cn