英雄联盟投注官网,英雄联盟投注中心,英雄联盟下注盘口

　　现任伴芯科技CEO，浙大微电子学院兼职研究员。曾与图灵奖得主CLARKE等，共同开创有界模型检测(BMC)领域。2017年获TACAS Test of Time Award，2018年获CAV Award，2023年获得了DAC历史上最具影响力的论文奖项。曾创立NextOp并成功并购退出，其技术被Apple、Intel、Nvidia等全球顶尖芯片公司采用。主要研究方向为AI+EDA，致力于推动芯片设计流程的智能化发展。