职务:宁波大学 教授
责任赛题:
教授,博士生导师,浙江省“万人计划”青年拔尖人才,浙江省高校领军人才(青年优秀人才)。研究方向为集成电路设计自动化(EDA),包括逻辑综合与优化,物理设计,逻辑等价性验证等。主持国家自然科学基金项目3项,省部级项目2项,在开源平台开源了自研的逻辑综合软件ALSO。研究成果获得浙江省技术发明二等奖1次,宁波市科学技术进步奖一等奖2次,CCFDAC最佳论文奖。在IEEE Trans on CAD等发表论文60余篇,申请中国发明专利40余项,授权21项。为国际逻辑综合研讨会(IWLS)组委会委员,中国计算机学会高级会员、集成电路设计专委执行委员,EDA开放创新合作机制"数字逻辑设计与验证"分委会主任、标准制定牵头人、技术白皮书领域主编、《逻辑综合与一致性检查工具》工具方向主编,《电子与信息学报》编委。