2023年10月13日—16日,由中国计算机学会(CCF)主办,CCF集成电路设计专委会和北京中关村集成电路设计园发展有限责任公司(IC Park)共同承办,中国科学院计算技术研究所和清华大学协办的第四届中国计算机学会集成电路设计与自动化学术会议(CCF ...
2023年10月13日—16日,由中国计算机学会(CCF)主办,CCF集成电路设计专委会和北京中关村集成电路设计园发展有限责任公司(IC Park)共同承办,中国科学院计算技术研究所和清华大学协办的第四届中国计算机学会集成电路设计与自动化学术会议(CCF DAC 2023)在北京成功举办。 此次会议由CCF会士、常务理事、中国工程院院士孙凝晖...
四年来,在广大同行的热情支持下,专委迅速发展起来,截止2023年底换届选举,执委人数达到167人,联系会员700余人。我们发起了专委的学术年会:CCF集成电路设计与自动化学术会议,简称CCF DAC。2021年底,在孙院士的倡议下,我们与容错计算、体系...
2023年10月13-16日,由中国计算机学会(CCF)主办,中国科学院计算技术研究所和清华大学协办的第四届中国计算机学会集成电路设计与自动化学术会议(CCF DAC 2023)在北京成功举办,国内外共计500多人参加了此次会议,江城中试公司总经理王逸群博士受邀参加大会并做会议主题报告。 (江城中试公司展位) 会议开幕式由CCF集成电路...
中国计算机学会集成电路设计与自动化学术会议(CCF Integrated Circuit Design and Automation Conference,简称:CCF DAC)由中国计算机学会(CCF)主办,是CCF集成电路设计专委会的学术年会。第四届CCF DAC将由CCF集成电路设计专委会承办,中国科学院计算技术研究所和清华大学协办,于2023年10月13日至10月16日在北京召开。 CC...
在国际顶级期刊会议IEEE-TPDS、IEEE-TCC、IEEE-TMC、ACM-TOMPECS、ISCA、DAC等发表论文40余篇,其中,CCF-A类论文近20篇。研究成果获湖南省自然科学一等奖(排名2/2020)、CCF科技进步特等奖(排名1/2022)等。主持国家重点研发计划青年科学家项目、国家自然科学面上项目和青年科学基金项目、华为技术有限公司合作项目等...
2023年CCF-华为胡杨林基金-系统软件专项于2023年4月7日在华为三Y坡基地通过研讨会的形式发布了本年度基金申报指南,截止申报结束时间(2023年5月7日24:00),共收取36份有效项目申请;自2021年该专项启动至今,有效项目申报数量逐年增加并再创新高,学会搭建的产学合作良好生态正在逐步得到产业界及学术界的认可。
立足国内外学术前沿，中科驭数近两年来共有10余篇论文入选国内外权威学术会议/核心期刊，其中4篇斩获最佳论文奖，分别为FPL 2023最佳论文、 CCF DAC 2023最佳论文、CCF Chip 2024最佳论文奖、以及此次获奖的CCF HPC China 2024优秀论文奖！■ 创新论文激励计划 借此次大会举办之际，中科驭数也推出了基于开物™平台...
主要研究领域涉及软件工程、可信软件、形式化方法等方面,部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、CAV、RTSS、ICSE、ISSTA、ASE、DAC等上;入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展...
2023年7月29日,由中国计算机学会(CCF)主办,CCF容错计算专业委员会和南京大学联合承办的“第二十届全国容错计算学术会议(CCF CFTC 2023)”在江苏省常州市中吴宾馆成功召开。来自全国高校、研究所以及企业界的600余名专家学者、论文作者和企业界同仁参加,与会嘉宾在会上分享和探讨了容错计算领域的前沿话题和最新研究成果...