北京科技大学 教授
Responsibility for the problem:
多层图形匹配与设计单元级版图验证算法;
009至2022年,于清华大学计算机系从事教学科研工作至副教授,自2023年起,在北京科技大学计算机与通信工程学院担任正教授、博士生导师,长期致力于集成电路设计自动化领域的研究,发表多篇EDA领域CCF A类国际顶级期刊(IEEE TCAD)论文及顶级会议(DAC)论文。获多项EDA领域国际会议最佳论文奖/提名奖,获吴文俊人工智能科学技术奖技术发明一等奖(第一完成人)。现任北京科技大学-华大九天EDA联合实验室执行主任、EDA开放创新合作机制(EDA2)物理实现分委会主任、CCF集成电路设计专委常务委员、IEEE高级会员。主持多项EDA领域国家自然科学基金(重点、面上)、国家重点研发计划课题等项目。曾任DAC、ICCAD、DATE等EDA领域顶级会议程序委员,现任EDA领域ACM顶级期刊TODAES副编辑。