广西混杂计算与集成电路设计分析重点实验室简介
“广西混杂计算与集成电路设计分析重点实验室”是在“科学与工程计算实验室”(自治区重点实验室培育基地，2007年)基础上建立。2010年被科技厅认定为自治区重点实验室。是广西目前唯一的专门从事混杂计算与集成电路设计分析研究的省级重点实验室。 U9?1wq28Dn1~3L
实验室以特色的混杂计算与集成电路（IC）验证技术的交叉融合创新为契机，发展自主的集成电路验证与评估技术，为集成电路设计企业提供高端技术服务，为我国集成电路产业提供人才储备。把实验室作为国内一流的集理论、软件开发和应用研究于一体的研发中心来打造，积极参与国际集成电路设计产业界的合作与竞争，满足我国集成电路产业发展与国家信息安全需要。 Q7;1GF6.4Wl8.3X
目前实验室科研平台由四个研究中心（计算与推理研究中心、混杂系统研究中心、IC设计验证研究中心、应用系统工程研究中心）、四个合作研发中心（广西民族大学-电子科技大学嵌入式系统联合研发中心、广西民族大学-天津大学计算系统联合研发中心、广西民族大学-美国ARC异步电路联合研发中心、广西民族大学-新未来物联网联合研发中心）、一个中科院博士后流动站研究基地、一个“八桂学者”岗位创新平台、一个广西自然科学基金创新研究团队和一个广西船联网技术协同创新中心等构成。 q2~9MJ4:9gp12Q
实验室拥有固定研究人员30人，其中青年研究人员占35%，正高职称占40%以上，副高职称占60%，具有博士学位的人数达到75%；拥有中科院“百人计划”学者和国家百千万人才工程国家级人选1人；国务院政府特殊津贴专家2人；广西首批“八桂学者”1人；广西优秀专家1人；广西高校百名中青年学科带头人2人；海外特聘教授1人；顾问专家6人。形成了一支职称、学历、年龄结构合理、科学严谨、勇于开拓创新的科研队伍，2012年3月被认定为广西自然科学基金创新研究团队。聘请了业界的一些世界著名专家为研究顾问，有1988年图灵奖获得者伊凡·苏泽兰(Ivan Sutherland)教授；有程序逻辑与复杂系统形式化验证方法研究专家、德国曼海姆(Mannheim)大学的米娜(Mila Majster-Cederbaum)教授；有世界最顶尖的计算机科学杂志《理论计算机科学》主编、意大利比萨大学的法布里奇奥卢乔(Fabrizio Luccio)教授；有享有世界声誉的科学家吴文俊院士和张景中院士；有著名计算机科学家、美国俄克拉何马州州立大学教授科里纳严-尤拉西尔曼（Prof. Krishnaiyan Thulasiraman）教授等等。目前正在与中科院成都计算所、北京交通大学联合培养博士研究生17名；广西民族大学硕士研究生56名。与中科院成都… J8~7Dd2?5Im5~5v
免责声明
网站收录目的在于传递更多信息，致力于为中文网站提供动力。不代表本网赞同其观点和对其真实性负责。
